Doğruluk tablosu oluşturma algoritması

Kerem Aydın·13 Temmuz 2026·⏱4 dk

Bir doğruluk tablosu oluşturmak için formüldeki değişken sayısını belirlemeniz, $2^n$ formülüne göre satır sayısını hesaplamamanız, tüm olası değer kombinasyonlarını (0 ve 1) yazmanız ve ardından işlem önceliğini dikkate alarak her bir mantıksal işlemin sonucunu sırayla hesaplamanız gerekir. Hazır tablo, karmaşık mantıksal ifadenin hangi giriş verilerinde "Doğru" değerini aldığını açıkça gösterir.

Bu araç, dijital mantığın, programlamanın ve elektronik devre tasarımının temelini oluşturur. Formüllerin eşdeğerliğini kontrol etmenize, programlardaki koşullardaki hataları bulmanıza veya mantıksal ifadeleri basitleştirmenize olanak tanır.

Temel mantıksal işlemler

Oluşturmaya başlamadan önce, formülde karşılaşacağınız temel işlemlerin anlamını net bir şekilde anlamak önemlidir. Boole cebirinde aşağıdaki gösterimler kullanılır:

  • Değilleme (NOT, $\neg A$): Değeri tersine çevirir. Eğer $A=1$ ise, $\neg A=0$ olur.
  • Ve bağlacı (AND, $A \land B$): Sonuç yalnızca her iki operand doğru olduğunda doğrudur.
  • Veya bağlacı (OR, $A \lor B$): En azından bir operand doğruysa sonuç doğrudur.
  • Koşullu önerme ($A \to B$): Yalnızca tek bir durumda yanlıştır: doğrudan yanlışa gidildiğinde ($1 \to 0$). Diğer durumlarda doğrudur.
  • Denklik ($A \leftrightarrow B$): Her iki operand eşit olduğunda doğrudur (ya her ikisi de 0 ya da her ikisi de 1).

Tablolarda hesaplamaları kolaylaştırmak için genellikle rakamlar kullanılır: 1 "Doğru" (True), 0 ise "Yanlış" (False) anlamına gelir. Bu, hücrelerin doldurulmasını hızlandırır.

Adım adım oluşturma algoritması

Tablo oluşturma süreci üç aşamaya ayrılır: yapının hazırlanması, giriş verilerinin doldurulması ve sonucun hesaplanması.

1. Satır ve sütun sayısının hesaplanması

Satır sayısı ($N$), ifadedeki benzersiz değişken sayısına ($n$) bağlıdır ve şu formülle hesaplanır: $$N = 2^n + 1$$ (Buradaki "+1", tablonun başlık satırıdır).

  • 1 değişken için ($A$): $2^1 = 2$ veri satırı.
  • 2 değişken için ($A, B$): $2^2 = 4$ veri satırı.
  • 3 değişken için ($A, B, C$): $2^3 = 8$ veri satırı.

Sütun sayısı, değişken sayısı ile gerçekleştirilecek tüm mantıksal işlemlerin (parantez içindeki ara işlemler dahil) toplamına eşittir.

2. Giriş değerleri kümesinin doldurulması

Hiçbir kombinasyonu atlamamak için değişken sütunları sıkı bir alternasyon kuralına göre doldurulur:

  • Son değişken (sağda): 0, 1, 0, 1... şeklinde alternatiflidir.
  • Sondan ikinci: Çiftler halinde 0, 0, 1, 1, 0, 0...
  • İlk değişken (solda): Sütunun yarısı sıfırlarla, diğer yarısı birlerle doldurulur.

3. Sonuçların hesaplanması

Tabloyu soldan sağa doğru, işlem önceliğine uyarak doldurun:

  1. Parantez içindeki işlemler.
  2. Değilleme (NOT).
  3. Ve bağlacı (AND).
  4. Veya bağlacı (OR).
  5. Koşullu önerme ve denklik.

Pratik analiz örneği

Şu ifadeyi ele alalım: $F = (A \lor B) \land \neg B$.

Formülde iki değişken ($A, B$) vardır, dolayısıyla $2^2 = 4$ veri satırı olacaktır. İşlemler: değilleme ($\neg B$), veya bağlacı ($A \lor B$), ve bağlacı (ilk ikisinin sonucu). Toplamda 3 ara sütun + 2 değişken + 1 final = 6 sütun.

| № | A | B | $\neg B$ | $A \lor B$ | $(A \lor B) \land \neg B$ | |:-:|:-:|:-:|:--------:|:----------:|:-------------------------:| | 1 | 0 | 0 | 1 | 0 | 0 | | 2 | 0 | 1 | 0 | 1 | 0 | | 3 | 1 | 0 | 1 | 1 | 1 | | 4 | 1 | 1 | 0 | 1 | 0 |

Sonuç analizi: İfade yalnızca üçüncü satırda, yani $A=1$ ve $B=0$ olduğunda doğrudur (1'e eşittir). Diğer tüm durumlarda sonuç yanlıştır.

Koşullu önerme ($A \to B$) hesaplanırken yapılan yaygın bir hata: birçok kişi alışkanlıkla ilk sayı 0 ise sonucun da 0 olduğunu düşünür. Aslında, koşullu önerme yalnızca $1 \to 0$ kombinasyonunda yanlıştır. $0 \to 0$ veya $0 \to 1$ durumu doğru sonucunu verir.

Oluşturma sırasında yapılan yaygın hatalar

Teoriyi bilseler bile öğrenciler ve yeni başlayanlar, sonucu bozan tipik hatalar yaparlar:

  • Alternasyon sırasının ihlal edilmesi: Giriş verisi kombinasyonlarının atlanması (örneğin, farklı olması gereken yerlerde ardışık iki aynı satır). Bu, tabloyu eksik hale getirir.
  • Parantezlerin görmezden gelinmesi: Parantez dışındaki işlemlerin, parantez içinden daha önce hesaplanması. Dışarıda daha yüksek önceliğe sahip bir işlem olsa bile, her zaman önce parantez içindeki ifadeleri çözün.
  • Yanlış öncelik: "Ve"nin daha yüksek önceliğe sahip olmasına rağmen (matematikte çarpmanın toplamadan önce gelmesine benzer şekilde), "Veya"nın ("OR") "Ve"den ("AND") önce yapılması.
  • Ara sütunların olmaması: Karmaşık bir formülü zihinden hesaplayıp yalnızca nihai cevabı yazmaya çalışmak. Bu, kontrolü zorlaştırır ve belirli bir satırdaki hatayı bulmayı güçleştirir.

SSS

Ara sütunlar neden gereklidir? Tablo içindeki "taslak" olarak hizmet ederler. Karmaşık bir ifadeyi basit parçalara ayırarak aritmetik hata yapma olasılığını azaltırsınız ve değerin hangi aşamada yanlış değiştiğini kolayca takip edebilirsiniz.

1 ve 0 yerine T ve F harfleri kullanılabilir mi? Evet, bu kabul edilebilir ve Batı literatüründe (True/False) sıkça kullanılır. Ancak dijital gösterim (0/1) daha kompakttır ve büyük tabloları hızlıca görsel olarak taramak için daha uygundur.

Oluşturulan tablonun doğruluğu nasıl kontrol edilir? Değişkenler için rastgele değerlere sahip bir satır seçin ve bunları orijinal formüle yerleştirerek hesaplamaları ayrı bir taslak kağıdında gerçekleştirin. Elde edilen sonucu tablonun son sütunundaki değerle karşılaştırın.