Cevap :
p Λ [(p'vq) Λ q' ] ise soru
p Λ [(p'Λq') V (qΛq') ] ... qΛq'=0 dır. (p'Λq') V (qΛq') = (p'Λq') V 0 = (p'Λq') olur
p Λ (p'Λq') ... (pΛp') Λ (pΛq')... pΛp'=0 olduğundan (pΛp') Λ (pΛq') ... 0 Λ (pΛq') = 0 olur
p Λ [(p'vq) Λ q']
p Λ [(p'Λ q') v (qΛ q')]
p Λ (p'Λ q')
(p Λ p')Λ(pΛ q')
-------
0
Dolayısıyla sonuç 0