a) p => (qvp) en sade şekli yaz.
b) p' => r karşıt tersi yaz.
c) p => r karşıt tersini yaz.
a) p=>(qvp) = p' v (qvp) = (p'vp)vq = 1 v q = 1 olur.
b) p'=>r
karşıtı: r=>p' yer değiştirir ve tersi de değilleri olur.
karşıt tersi; r'=>p
c) p=>r
karşıtı: r=>p yer değiştirir ve tersi de değilleri olur.
karşıt tersi; r'=>p'