Bir olay tersiyle (olmasi olmamasiyla) ayni olabilir mi? $p \iff p'$ celiski verir. Yani $0$'dir.
$p\equiv 1$ ise $p'\equiv 0$ dir. Dolayısıyla $p\iff p'\equiv 1\iff 0\equiv 0$ ve aynı şekilde
$p\equiv 0$ ise $p'\equiv 1$ dir. ve $p\iff p'\equiv 0\iff 1\equiv 0$ olur.
$p\iff p'\equiv (p\implies p')\wedge (p'\implies p)$ dir. Buradan $p\implies q \equiv p'\vee q$ olduğu kullanılarak $$(p'\vee p)\wedge (p\vee p)\equiv p'\wedge p\equiv 0$$ elde edilir.