Ya da bağlacı (⊻) nedir

p ⊻ 1 önermesinin en sade halini bulunuz.

💡 Bir önermenin "1" (doğru) ile Özel Veya (⊻) işlemine tabi tutulmasının etkisini inceleyelim.

• ➡️ Adım 1: p'nin alabileceği değerleri ve bu değerler için p ⊻ 1 işleminin sonucunu bir tabloda gösterelim.
• ➡️ Adım 2: p = 1 olsun. 1 ⊻ 1 işleminin sonucu, iki değer aynı olduğu için 0'dır.
• ➡️ Adım 3: p = 0 olsun. 0 ⊻ 1 işleminin sonucu, iki değer farklı olduğu için 1'dir.

Doğruluk Tablosu:

✅ Sonuç: Görüldüğü gibi, p ⊻ 1 işleminin sonucu her zaman p'nin değiline (p') eşittir. Yani, p ⊻ 1 ≡ p'.