Cevap :
p v q => q'
Karşıtı;
q' => p v q
(q v p v q) değili(tersi);
(q v p v q)'=(p v q)'
Karşıtı;
q' => p v q
(q v p v q) değili(tersi);
(q v p v q)'=(p v q)'
Karşıt tersi bulunurken her iki tarafın değili alınır ve yer değiştirilir.
(p∨q)⇒q' karşıt tersi
q⇒p'∧q'
Yani ≡ q'∨p'∧q'
≡q'∧p'
≡(q∨p)'
B şıkkı
Kolay gelsin