p′⇒0≡p,1⇒p≡p olduklarından p∧p≡p dir.
Açıklaması ve ayrıntılı incelenmiş durum aşagıdadır.
1)p≡1 olursa p′≡0 olacak ve o zaman da (0⇒0)∧(1⇒1)≡1∧1≡1 olur.
2)p≡0 olursa p′≡1 olacak ve o zaman da (1⇒0)∧(1⇒0)≡0∧0≡0 olur. Demek ki verilen önerme p 'ye denktir.