Lisp Inference Truth Table System

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

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

Some notes:

Source: ryukinix/lisp-inference
Documentation: lerax.me/lisp-inference