(p^q)'v(p'^q)=(p'vq')v(p'^q)
=[p'v(p'^q)]v[p'v(p'^q)] (Dağılma özelliği kullanıldı.)Dikkat edilirse her iki köşeli parantezin içi aynıdır. yani (pvp=p gibi bir özellik)
=p'v(p'^q)....................(1)
=(p'vp')^(p'vq)
=p'^(p'vq)....................(2) sonuç ya (1) deki ya da (2) dekidir. Zaten ikiside aynıdır.