[FOM] The denial of '~p'

Ivan Antonowitz binchem at mweb.co.za
Fri Aug 27 14:54:12 EDT 2010

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


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

Ivan Antonowitz

More information about the FOM mailing list