[FOM] The denial of '~p'

[Ivan Antonowitz]

The issue of '~~p' becomes clearer if we compare the derivations of NOT in
the more primitive terms of NAND and NOR.

In Reverse Polish

pp|p|

evalutes to a Tautology when '|' is interpreted as NAND
but dually,
evaluates to a Faultology when '|' is interpreted as NOR

Ivan Antonowitz