derp.txt

(automagic)Michael-MBP[~/Projects/purplex][master *] echo '~(A + B) <=> (~A * ~B)' | python fuckme.py
+---+---+----+----+---------+----------+-----------+--------------------------+
| A | B | ~A | ~B | (A + B) | ~(A + B) | (~A * ~B) | (~(A + B) <=> (~A * ~B)) |
+---+---+----+----+---------+----------+-----------+--------------------------+
| T | T | F  | F  |    T    |    F     |     F     |            T             |
| T | F | F  | T  |    T    |    F     |     F     |            T             |
| F | T | T  | F  |    T    |    F     |     F     |            T             |
| F | F | T  | T  |    F    |    T     |     T     |            T             |
+---+---+----+----+---------+----------+-----------+--------------------------+
(automagic)Michael-MBP[~/Projects/purplex][master *] echo 'A * ~A' | python fuckme.py
+---+----+----------+
| A | ~A | (A * ~A) |
+---+----+----------+
| T | F  |    F     |
| F | T  |    F     |
+---+----+----------+
(automagic)Michael-MBP[~/Projects/purplex][master *] echo '(A -> B) * (B -> A)' | python fuckme.py
+---+---+----------+----------+-----------------------+
| A | B | (A -> B) | (B -> A) | ((A -> B) * (B -> A)) |
+---+---+----------+----------+-----------------------+
| T | T |    T     |    T     |           T           |
| T | F |    F     |    T     |           F           |
| F | T |    T     |    F     |           F           |
| F | F |    T     |    T     |           T           |
+---+---+----------+----------+-----------------------+