Mantık
Önerme
Ve bağlacı (∧)
Ya da bağlacı (⊻)
Veya bağlacı (v)
Doğruluğu veya yanlışlığı kanıtlanabilen verilerdir.
Doğru önerme 1, yanlış önerme 0 ile gösterilir.
Önermelere isim verirken p, q, r...vb. gibi ifadeler kullanılır.
Doğruluk değeri eşit olan önermelere denk önerme denir.
Önermenin değili (') ile gösterilir.
Önermenin kaç tane doğruluk durumu olduğunu belirlemek için 2 üzeri n formülü kullanılır.
İse bağlacı (⇒)
(p ⇒ q) ≡ (p' ∨ q)
Ancak ve Ancak bağlacı (⇔)
p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p)
Özellikler
Tek Kuvvet Özelliği
Birleşme Özelliği
(p ⊻ q) ⊻ r ≡ p ⊻ (q ⊻ r)
Dağılma Özelliği
(p v 0) ∧ (p v q) ≡ p v (0 ∧ q)
Demorgan Kuralı
(p ∧ q)' ≡ p' vq'