(p ise q')∧(p ancak ve ancak q)
q' çıkıyor sonucu bn (p' v q') ^ (p v q')
(p' v q ) ^ (q' v q')
1 ^ q'
(p' v q') ^ (p v q')
Cevap :q'