Next:
dt
, Previous:
co
, Up:
Equivalence Rules
6.2.5 Idempotence
P ^ P ^ Q ^ R ^ R ^ R <=> P ^ Q ^ R
P v P v Q v R v R v R <=> P v Q v R