Buktikan bahwa ~[(p^q)⇒r]≡p^(q^~r)
Jawaban Terkonfirmasi
Dengan invers implikasi:
~(p ⇒ q) ≡ p ∧ ~q
Maka, untuk itu:
~[(p ∧ q) ⇒ r] ≡ (p ∧ q) ∧ ~r
Dengan berlaku komutatif, didapat:
~[(p ∧ q) ⇒ r] ≡ p ∧ (q ∧ ~r)
Buktikan bahwa ~[(p^q)⇒r]≡p^(q^~r)
Dengan invers implikasi:
~(p ⇒ q) ≡ p ∧ ~q
Maka, untuk itu:
~[(p ∧ q) ⇒ r] ≡ (p ∧ q) ∧ ~r
Dengan berlaku komutatif, didapat:
~[(p ∧ q) ⇒ r] ≡ p ∧ (q ∧ ~r)