Tunjukkan dengan tabel kebenaran bahwa pernyataan majemuk berikut ekuivalen (ekuivalen logis). c. p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p)

<p>Jawabnya adalah terbukti bahwa p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p)</p><p>p q p ⇔ q (p ⇒ q)∧(q⇒ p)&nbsp;</p><p>B B &nbsp; &nbsp; &nbsp;B &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;B&nbsp;</p><p>B S &nbsp; &nbsp; &nbsp;S &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; S&nbsp;</p><p>S B &nbsp; &nbsp; &nbsp;S &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; S&nbsp;</p><p>S S &nbsp; &nbsp; &nbsp; B &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;B&nbsp;</p><p>&nbsp;</p><p>Ingat&nbsp;</p><p>p q p ⇔ q p ⇒ q p ∧ q&nbsp;</p><p>B B &nbsp; &nbsp; &nbsp;B &nbsp; &nbsp; &nbsp; &nbsp;B &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;B&nbsp;</p><p>B S &nbsp; &nbsp; &nbsp; S &nbsp; &nbsp; &nbsp; &nbsp;S &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;S&nbsp;</p><p>S B &nbsp; &nbsp; &nbsp; S &nbsp; &nbsp; &nbsp; &nbsp;B &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;S&nbsp;</p><p>S S &nbsp; &nbsp; &nbsp; &nbsp;B &nbsp; &nbsp; &nbsp; B &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;S&nbsp;</p><p>&nbsp;</p><p>p q p ⇔ q&nbsp;</p><p>B B &nbsp; &nbsp;B&nbsp;</p><p>B S &nbsp; &nbsp;S&nbsp;</p><p>S B &nbsp; &nbsp;S&nbsp;</p><p>S S &nbsp; &nbsp;B&nbsp;</p><p>&nbsp;</p><p>(p ⇒ q) ∧ (q ⇒ p)&nbsp;</p><p>p q p⇒q q⇒p (p⇒q)∧(q⇒p)&nbsp;</p><p>B B &nbsp; &nbsp; B &nbsp; &nbsp; &nbsp; &nbsp; B &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; B&nbsp;</p><p>B S &nbsp; &nbsp; S &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;B &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; S&nbsp;</p><p>S B &nbsp; &nbsp; B &nbsp; &nbsp; &nbsp; &nbsp; S &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; S&nbsp;</p><p>S S &nbsp; &nbsp; B &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;B &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;B&nbsp;</p><p>&nbsp;</p><p>p q p ⇔ q &nbsp; &nbsp;(p ⇒ q)∧(q⇒ p)&nbsp;</p><p>B B &nbsp; &nbsp; &nbsp;B &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; B&nbsp;</p><p>B S &nbsp; &nbsp; &nbsp;S &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; S&nbsp;</p><p>S B &nbsp; &nbsp; &nbsp;S &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; S&nbsp;</p><p>S S &nbsp; &nbsp; &nbsp;B &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; B&nbsp;</p><p>&nbsp;</p><p>Jadi terbukti bahwa p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p)&nbsp;</p><p>p q p ⇔ q &nbsp; (p ⇒ q)∧(q⇒ p)&nbsp;</p><p>B B &nbsp; &nbsp; B &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; B&nbsp;</p><p>B S &nbsp; &nbsp; S &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; S&nbsp;</p><p>S B &nbsp; &nbsp; S &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; S&nbsp;</p><p>S S &nbsp; &nbsp; B &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; B</p>