Hva er distributive lover for ∧\land∧ og ∨\lor∨?
Klikk for å snu kortet
p∧(q∨r)≡(p∧q)∨(p∧r)p \land (q \lor r) \equiv (p \land q) \lor (p \land r)p∧(q∨r)≡(p∧q)∨(p∧r) og p∨(q∧r)≡(p∨q)∧(p∨r)p \lor (q \land r) \equiv (p \lor q) \land (p \lor r)p∨(q∧r)≡(p∨q)∧(p∨r). Disse brukes blant annet til å konvertere mellom CNF og DNF.
Space / Enter for å snu