Bir olay tersiyle (olmasi olmamasiyla) ayni olabilir mi? p⟺p′ celiski verir. Yani 0'dir.
p≡1 ise p′≡0 dir. Dolayısıyla p⟺p′≡1⟺0≡0 ve aynı şekilde
p≡0 ise p′≡1 dir. ve p⟺p′≡0⟺1≡0 olur.
p⟺p′≡(p⟹p′)∧(p′⟹p) dir. Buradan p⟹q≡p′∨q olduğu kullanılarak (p′∨p)∧(p∨p)≡p′∧p≡0 elde edilir.