Next: id, Previous: as, Up: Equivalence Rules [Contents]

- P ^ Q ^ R <=> Q ^ R ^ P
- P v Q v R <=> Q v R v P

Just like addition and multiplication, conjunctions and disjunctions are commutative. This of course means that ‘`I would like some pie and I would like some cake`’ is the same as saying ‘`I would like some cake and I would like some pie`’.