Doğruluk Tabloları — AND, OR, NOT, XOR ve İmplikasyon

Bir doğruluk tablosu, bir ifadenin doğruluk değerlerinin tüm olası kombinasyonlarını gösterir ve her durumda sonucun doğru mu yanlış mı olduğunu söyler. AND, OR, NOT, XOR veya implikasyonu hızlıca anlamak istiyorsanız, doğruluk tablosu genellikle en açık başlangıç noktasıdır.

Bu sayfadaki temel operatörler küçük ama kesin bir kurallar kümesini izler:

• $p \land q$ yalnızca ikisi de doğruysa doğrudur.
• $p \lor q$ en az biri doğruysa doğrudur.
• $\lnot p$, $p$’nin doğruluk değerini tersine çevirir.
• $p \oplus q$ yalnızca tam olarak biri doğruysa doğrudur.
• $p \to q$ yalnızca $p$ doğru ve $q$ yanlış olduğunda yanlıştır.

AND, OR, NOT, XOR ve İmplikasyon için Doğruluk Tablosu

İki önerme $p$ ve $q$ için dört olası giriş satırı vardır: $TT$, $TF$, $FT$ ve $FF$. Tam bir doğruluk tablosu bu dört satırın hepsini içermelidir.

$p$	$q$	$p \land q$	$p \lor q$	$p \oplus q$	$p \to q$	$\lnot p$
T	T	T	T	F	T	F
T	F	F	T	T	F	F
F	T	F	T	T	T	T
F	F	F	F	F	T	T

Yalnızca bir doğruluk tablosu hatırlayacaksanız, akılda tutulması gereken tablo budur. Giriş düzeyi mantık sorularının çoğu, bu sütunlardan birini doğru okumaya indirgenir.

Her Mantık Sembolü Ne Anlama Gelir?

AND İkisi de Demektir

$p \land q$ yalnızca her iki giriş de doğru olduğunda doğrudur.

Bu yüzden AND sütununda yalnızca bir tane doğru satır vardır.

OR En Az Biri Demektir

$p \lor q$, girişlerden biri doğru olduğunda ya da ikisi birden doğru olduğunda doğrudur.

Bu, OR’un kapsayıcı anlamıdır. Eğer bir soru “biri ya da diğeri, ama ikisi birden değil” demek istiyorsa, bunun yerine XOR kullanmalıdır.

NOT Tek Bir Önermeyi Tersine Çevirir

$\lnot p$, doğruyu yanlışa ve yanlışı doğruya çevirir.

NOT burada diğer operatörlerden farklıdır çünkü iki önerme üzerinde değil, tek bir önerme üzerinde işlem yapar.

XOR Tam Olarak Biri Demektir

$p \oplus q$, girişler farklı olduğunda doğrudur.

Bu yüzden ortadaki iki satır doğrudur; $p$ ile $q$’nun aynı olduğu satırlar ise yanlıştır.

İmplikasyonun Tek Bir Yanlış Durumu Vardır

$p \to q$ yalnızca $p$ doğru ve $q$ yanlış olduğunda yanlıştır.

Bu kural ilk başta garip gelebilir çünkü mantıktaki implikasyon, günlük dildeki “sebep olur” anlamına gelmez. Burada “eğer $p$ ise, o hâlde $q$” iddiası yalnızca $p$ gerçekleşip $q$ gerçekleşmediğinde başarısız olur.

Çözümlü Örnek: Neden $p \to q$ Yalnızca Bir Kez Yanlıştır?

$p$ ifadesinin “Sayı 4’e bölünebilir” ve $q$ ifadesinin “Sayı çifttir” anlamına geldiğini varsayalım.

Şu ifadeyi ele alalım:

$$p \to q$$

Bunun anlamı şudur: Bir sayı $4$’e bölünebiliyorsa, o sayı çifttir.

Şimdi dört mantıksal durumu okuyun:

• Eğer $p$ doğru ve $q$ doğruysa, ifade çalışır.
• Eğer $p$ doğru ve $q$ yanlışsa, ifade başarısız olur.
• Eğer $p$ yanlışsa, önerme mantığında implikasyon doğru kabul edilir; çünkü ifade, koşulun gerçekleşmediği durumlar hakkında bir söz vermemiştir.

Bu yüzden $p \to q$ sütununda yalnızca bir yanlış satır vardır. Bu örnekte önerme aslında tüm gerçek sayılar için doğrudur; çünkü $4$’ün her katı çifttir.

Doğruluk Tablolarında Yaygın Hatalar

• OR ile XOR’u karıştırmak. Normal OR, her iki girişin de doğru olduğu durumu içerir.
• İmplikasyonu günlük hayattaki nedensellik gibi okumak. Doğruluk tablosunda $p \to q$, sebep-sonuç hikâyesine göre değil, satırlarına göre tanımlanır.
• Tüm giriş kombinasyonlarını listelemeyi unutmak. İki önerme varsa dört satır olmalıdır.
• NOT’u iki girişli bir operatör gibi görmek. Yalnızca tek bir önerme üzerinde işlem yapar.
• Doğruluk tablolarının sadece felsefe veya ispatlar için olduğunu sanmak. Aynı mantık Boole cebirinde ve dijital sistemlerde de kullanılır.

Doğruluk Tabloları Nerelerde Kullanılır?

Doğruluk tabloları, mantıksal bağlaçları tanımlamak, iki ifadenin denk olup olmadığını test etmek, bir argüman biçiminin geçerli olup olmadığını kontrol etmek ve bilişimde Boole ifadelerini okumak için kullanılır.

Özellikle sembolik kurallar soyut geldiğinde çok yararlıdırlar. Tablo, her durumu görünür hâle getirir; bu da gizli hataları yakalamayı çok daha kolaylaştırır.

Benzer Bir Doğruluk Tablosu Deneyin

Şu ifade için tabloyu oluşturun:

$$(p \lor q) \land \lnot q$$

Ardından son sütununu $p \land \lnot q$ sütunuyla karşılaştırın. Sonrasında başka bir durumu incelemek isterseniz, aynı süreci $p \oplus q$ için deneyin ve bunun normal OR’dan nasıl farklı olduğunu görün.