Embedded Files
Esercizi. Stabilire se le seguenti formula sono soddisfacibili, contraddizioni o tautologie:
(a ↔ b) ∧ (c ↔ ¬a) → (b ↔ ¬a) ∧ (c → b)
(a ∧ b) → (a ∨ ¬c) ∧ (c ∨ ¬b)
(a ∨ c) → (¬a ∧ ¬b) ∨ (¬b ∨ c)
((a ∧ ¬b) ↔ (¬a ∨ b)) → ((a ∧ ¬c) ∨ (¬a ∨ c) ∨ (c ↔ a) ∨ (b ∧ ¬a))
Suggerimento e Soluzioni
Suggerimento e Soluzioni
Per l'esercizio 4, riflettere bene sulla prima parte della formula (a sinistra del simbolo di implicazione)!
Clicca qui per vedere le soluzioni!
Page updated
Report abuse