p^(~(~pvq))v(p^q)=p buktikan ekivalen

dalil² kesetaraan
p ∧ p ≡ p
p ∨ ~p ≡ i
p ∧ i ≡ p
hukum distributif
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)


p∧(~(~pvq)) v (p∧q)
≡ p ∧ (p ∧ ~q) ∨ (p ∧ q)
≡ (p ∧ ~q) ∨ (p ∧ q)
≡ p ∧ (~q ∨ q)
≡ p ∧ i
≡ p

Logika Matematika.

Kita gunakan tabel kebenaran! Terbukti bahwa p ∧ [~(~p ∨ q)] ∨ (p ∧ q) ≡ p

Tambahan.
Jika anda mempunyai software DCSH 2 atau DSCH 3, rangkai soal anda dan hasilnya seperti pada gambar. Hanya saja pada software 1 sebagai B dan 0 sebagai S. Klik run untuk memeriksa ke ekuivalenannya!