Logika matematika: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Baris 3:
== Hukum logika ==
# Hukum komutatif
#* p ∧ q ≡ q ∧ p
#* p ∨ q ≡ q ∨ p
# Hukum asosiatif
#* (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
#* (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
# Hukum distributif
#* p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
#* p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
# Hukum identitas
#* p ∧ B ≡ p
#* p ∨ S ≡ p
# Hukum ikatan
#* p ∧ S ≡ S
#* p ∨ B ≡ B
# Hukum negasi
#* p ∧ ~p ≡ B
#* p ∨ ~p ≡ S
# Hukum negasi ganda
#* ~(~p) ≡ p
# Hukum idempotent
#* p ∧ p ≡ p
#* p ∨ p ≡ p
# Hukum De Morgan
#* ~(p ∧ q) ≡ ~p ∨ ~q
#* ~(p ∨ q) ≡ ~p ∧ ~q
# Hukum penyerapan
#* p ∧ (p ∨ q) ≡ p
#* p ∨ (p ∧ q) ≡ p
# Negasi B dan S
#* ~B ≡ S
#* ~S ≡ B
{{Bidang matematika}}
| |||