0:00
ExpertÉquivalence LogiqueVérification d'Équivalence

Étant donné que A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) est vrai (loi distributive),

Quel est le dual de cette proposition ? Remplacer ∧ par ∨ , ∨ par ∧ , ⊤ par ⊥, et ⊥ par ⊤.