(⟺ )⇒ (⇒) ifade formunun eşdeğeri

Question

(⟺ )⇒ (⇒) ifade formunun eşdeğeri aşağıdakilerden hangisidir.
A) [(∼∨)∧(∨∼)]∨∼[(∼∨)∧(∨∼)]
B) ∼[(∼∨)∧(∨∼)]∧[(∼∨)∧(∨∼)]
C) [(∼∨)∧(∨∼)]∧[(∼∨)∧(∨∼)]
D) [(∼∨)∧(∨∼)]∨[(∼∨)∧(∨∼)]
E) ∼[(∼∨)∧(∨∼)]∨[(∼∨)∧(∨∼)]

Cevap E diyor ama nasıl yapıldığını anlayamadım. Yardımcı olabilir misiniz ?

Comments

Bu anlaşılmıyor @N4ou. $\LaTeX$ kulllanarak veya başka şekilde yazabilir misin?

---

$(p\Leftrightarrow q)\Rightarrow(p\Rightarrow q)$  veya  $(p\Leftrightarrow q)\Rightarrow(q\Rightarrow p)$  olarak düşünürsek doğruluk tablosu ile $(p\Leftrightarrow q)\Rightarrow(p\Rightarrow q)\equiv (p\Leftrightarrow q)\Rightarrow(q\Rightarrow p)\equiv1$  olur.

&sim  sanırım önermenin değili,olumsuzu  anlamında kullanılmış.

---

Önermeyi $(p\Leftrightarrow r)\Rightarrow(q\Rightarrow r)$ olarak alırsak

$(p\Leftrightarrow r)\Rightarrow(q\Rightarrow r)\equiv p\Rightarrow(q\Rightarrow r)$ olarak sadeleştirilebiliyor.