Next:
as
, Previous:
im
, Up:
Equivalence Rules
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.