Cevap :
(pvq) <-> p
pvq -> p
pvq ' vp
p'^q' v p (p'vp) ^ (q'vp)
1 ^ (q'vp)= (q'vp)
(pvq) <-> p
pvq -> p
pvq ' vp
p'^q' v p (p'vp) ^ (q'vp)
1 ^ (q'vp)= (q'vp) ayrıca bilgi olarak veya da 1 yutar 0 etkisizdir