+------------------------+ | 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.

Documentation: lerax.me/lisp-inference