Ya da bağlacı doğruluk tablosu

\( (p' \vee q') \) bileşik önermesinin doğruluk tablosunu oluşturunuz. (Not: \( p' \), \( p \) önermesinin değilini ifade eder.)

Bu soru, "ya da" bağlacını değil (') işlemi ile birlikte kullanmamızı gerektiriyor. 📊 Doğruluk tablosunu adım adım oluşturacağız.

• ➡️ Birinci adım: \( p \) ve \( q \) için tüm olası doğruluk değerlerini (1,1; 1,0; 0,1; 0,0) yazalım.
• ➡️ İkinci adım: \( p' \) ve \( q' \) sütunlarını oluşturalım. Bir önermenin değili, onun tersi değeri alır. Yani \( p=1 \) ise \( p'=0 \), \( p=0 \) ise \( p'=1 \) olur. Aynı kural \( q \) için de geçerlidir.
• ➡️ Üçüncü adım: Son olarak \( p' \vee q' \) sütununu oluşturalım. "Ya da" bağlacı kuralına göre, \( p' \) ve \( q' \) değerlerinden en az biri 1 ise sonuç 1, her ikisi de 0 ise sonuç 0 olur.

Oluşan doğruluk tablosu:

✅ Sonuç: Tablo, \( p \) ve \( q \) aynı anda doğru olduğunda bileşik önermenin yanlış, diğer durumlarda ise doğru olduğunu göstermektedir. Bu aslında De Morgan Kuralının bir görünümüdür.