©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.

~(P v Q) -||- ~P &~Q
DeMorgan's Law
~(P & Q) -||- ~P v ~Q
DM
P & Q -||- ~(~P v ~Q)
DM
P v Q -||- ~(~P & ~Q)
DM