Next:
Recursion
, Previous:
ep
, Up:
Equivalence Rules
6.2.10 Subsumption
P ^ (P v Q) <=> P
P v (P ^ Q) <=> P