Next:
as
, Previous:
im
, Up:
Equivalence Rules
6.2.2 DeMorgan
-(P ^ Q) <=> -P v -Q
-(P v Q) <=> -P ^ -Q