Next:
as
, Previous:
im
, Up:
Equivalence Rules
[
Contents
]
6.2.2 DeMorgan
~(P ^ Q) <=> ~P v ~Q
~(P v Q) <=> ~P ^ ~Q
~3x(P(x)) <=> Vx(~P(x))
~Vx(P(x)) <=> 3x(~P(x))
DeMorgan’s Laws.