+------------------------+ | P | Q | (P => Q) | +------------------------+ | T | T | T | | T | F | F | | F | T | T | | F | F | T | +------------------------+
Operators: (~ ^ <=> => -> <-> V [+])
Some notes:
My lexer doesn't work very well for parenthesis.
Please, don't be evil. Use less than 10 variables.
Yes, [+] it's a XOR. Mathematically: p ⊕ q.
(=> ->) and (<=> <->) are aliases.