A simple step by step logical truth table generator. Live at: https://trutabgen.com
Input any logical formula using the following operators:
- AND: ^
- OR: V
- NOT: ~
- IMPLICATION: =>
- EQUIVALENCE: <=>
Examples: ~(p^q) <=> ~p V ~q
!Uppercase identifiers are not allowed: A, B..