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 ⊤.
Dato che A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) è vero (legge distributiva),
Qual è il duale di questa affermazione? Sostituire ∧ con ∨ , ∨ con ∧ , ⊤ con ⊥, e ⊥ con ⊤.