Ancak ve ancak işareinin iki tarafındaki önerme değerleri aynı ise doğru .
ise 'den ve ise'nin açılımından faydalanabilirsin.
Denedim olmadı cevabı biliyorsanB-) yardimci ol
(p′∨q)⇔(p⇒q′)
≡
(p′∨q)⇔(p′∨q′)
[(p′∨q)⇒(p′∨q′)]∧[(p′∨q′)⇒(p′∨q)]
[(p′∨q)′∨(p′∨q′)]∧[(p′∨q′)′∨(p′∨q)]
[(p∧q′)∨(p′∨q′)]∧[(p∧q)∨(p′∨q)]
…