Lisp Inference Truth Table System

+------------------------+
|  P  |  Q  |  (P => Q)  |
+------------------------+
|  T  |  T  |     T      |
|  T  |  F  |     F      |
|  F  |  T  |     T      |
|  F  |  F  |     T      |
+------------------------+

Operators: (~ ^ <=> => -> <-> V [+])