Equivalence
Concept 9 of 11 in Mathematical Logic
1 / 13
p∨(p∧q)≡pp \vee (p \wedge q) \equiv pp∨(p∧q)≡p is a law. Swap every ∧\wedge∧ with ∨\vee∨ to get p∧(p∨q)≡pp \wedge (p \vee q) \equiv pp∧(p∨q)≡p. Is that still a law?
Loading…