Embedded Files
Esercizio 1
Esercizio 1
La formula (a ↔ b) ∧ (c ↔ ¬a) → (b ↔ ¬a) ∧ (c → b) è soddisfacibile.
Esercizio 2
Esercizio 2
La formula (a ∧ b) → (a ∨ ¬c) ∧ (c ∨ ¬b) è soddisfacibile.
Esercizio 3
Esercizio 3
La formula (a ∨ c) → (¬a ∧ ¬b) ∨ (¬b ∨ c) è soddisfacibile.
Esercizio 4
Esercizio 4
La formula ((a ∧ ¬b) ↔ (¬a ∨ b))→ ((a ∧ ¬c) ∨ (¬a ∨ c) ∨ (c ↔ a) ∨ (b ∧ ¬a)) è una tautologia.
Page updated
Report abuse