Prawa logiczne. Sylwia: Wiadomo, że (p⇔q) ⇔ (p⇒q ∧ q⇒p). Powołując sie na znane Ci prawa logiczne uzasadnij, że jest tautologią następujące wyrażenie: ¬(p⇔q) ⇔ (p∧¬q) ∨ (q∧¬p)

Sławek: ¬(p⇔q) ⇔ ¬[(p⇒q ∧ q⇒p)] = Prawo de Morgana = ¬ (p⇒q) ∨ ¬ (q⇒p) = Prawo zaprzeczenia implikacji = (p∧¬q) ∨ (q∧¬p)

Sławek: Prawa masz tutaj https://matematykaszkolna.pl/strona/1072.html