Repository navigation
A Truth Table generator/maker for symbolic logic.
Use the following symbols for the connectives.
- Negation => ~
- Conjuction => A
- Disjunction => V
- Exclosive Or (EXOR) => O
- Conditional => ->
- Biconditional => <->
- Equivalent => ==
- Variables => small letters
- Parenthesis => ( ) only