©1992-2000 Colin Allen. Reproduction by any means strictly prohibited.
~(P v Q) -||- ~P &~Q
D
e
M
organ's Law
~(P & Q) -||- ~P v ~Q
DM
P & Q -||- ~(~P v ~Q)
DM
P v Q -||- ~(~P & ~Q)
DM