0:00
EspertoEquivalenza LogicaControllo di Equivalenza

Dato che A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) è vero (legge distributiva),

Qual è il duale di questa affermazione? Sostituire ∧ con ∨ , ∨ con ∧ , ⊤ con ⊥, e ⊥ con ⊤.