Next:
sn
, Previous:
bn
, Up:
Boolean Rules
6.4.3 Boolean Dominance
A ^ ! <=> !
A v T <=> T