$p'\Rightarrow 0\equiv p, \quad 1\Rightarrow p\equiv p$ olduklarından $p\wedge p\equiv p$ dir.
Açıklaması ve ayrıntılı incelenmiş durum aşagıdadır.
1)$p\equiv1$ olursa $p'\equiv0 $ olacak ve o zaman da $ (0\Rightarrow0)\wedge (1\Rightarrow1)\equiv1\wedge1 \equiv1$ olur.
2)$p\equiv0$ olursa $p'\equiv1$ olacak ve o zaman da $ (1\Rightarrow0)\wedge (1\Rightarrow0)\equiv0\wedge0\equiv0$ olur. Demek ki verilen önerme $p$ 'ye denktir.