(p'^q)'=0 ise [(p^(q'vp)] = ? ACİLLLLL
(p'^q)'=0 bu ifadenin de değilini alırsan (pvq')=1 olur.
Şimdi bu ifadeye bakalım [(p^(q'vp)] =
------- bu kısım görüldüğü gibi 1 e eşit. Dolayısıyla
p^1=p dir