0:00
ExpertLogisk EkvivalensEkvivalenskontroll
Givet att A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) är sann (distributiva lagen),
Vad är dualen till detta påstående? Ersätt ∧ med ∨ , ∨ med ∧ , ⊤ med ⊥, och ⊥ med ⊤.
Givet att A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) är sann (distributiva lagen),
Vad är dualen till detta påstående? Ersätt ∧ med ∨ , ∨ med ∧ , ⊤ med ⊥, och ⊥ med ⊤.