0:00
ЭкспертЛогическая эквивалентностьПроверка эквивалентности
Дано, что A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) истинно (закон дистрибутивности),
Каково двойственное утверждение? Замените ∧ на ∨ , ∨ на ∧ , ⊤ на ⊥, и ⊥ на ⊤.
Дано, что A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) истинно (закон дистрибутивности),
Каково двойственное утверждение? Замените ∧ на ∨ , ∨ на ∧ , ⊤ на ⊥, и ⊥ на ⊤.