Written by: Istvan Donko
?
| Notation | Shorthand | Operation |
|---|---|---|
| () | - | Prioritized |
| {A} | - | Variable name |
| not | n | Not |
| or | o | Or |
| and | a | And |
| => | i | Implication |
| <-> | e | Equivalence |
Whitespace is ignored.
Discrete Mathematics - Logic Statement Tester
Conclusion
| Variables | Statement | Result |
|---|