Sprawdź, które z następujących wyrażeń są prawami logicznymi (tautologiami). ∽(p ⇒ q) ⇔ (p ∧ (∽q)) Prawo logiczne. Zaprzeczenie. Implikacja. Równoważność. Koniunkcja. Rachunek zdań logicznych.