0:00
EkspertLogisk EkvivalensEkvivalenssjekk
Gitt at A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) er sann (distributiv lov),
Hva er dualen til denne påstanden? Erstatt ∧ med ∨ , ∨ med ∧ , ⊤ med ⊥, og ⊥ med ⊤.
Gitt at A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) er sann (distributiv lov),
Hva er dualen til denne påstanden? Erstatt ∧ med ∨ , ∨ med ∧ , ⊤ med ⊥, og ⊥ med ⊤.