Doğruluk tablosu, mantıkta ve bilgisayar bilimlerinde sıkça kullanılan, bir bileşik önermenin veya mantıksal ifadenin tüm olası giriş değerleri için sonucunun ne olacağını gösteren sistematik bir tablodur. 🎯
Doğruluk tablolarının temel amacı, karmaşık gibi görünen mantıksal ifadelerin aslında nasıl çalıştığını net bir şekilde ortaya koymaktır. Bir ifadenin doğru (True, 1) veya yanlış (False, 0) olduğu tüm durumları listeleyerek, o ifadenin davranışını tamamen anlamamızı sağlar.
Bir doğruluk tablosu oluşturmak için şu adımlar izlenir:
İki önermemiz olsun: p ve q. "Ve" (\(\land\)) bağlacının doğruluk tablosu şu şekildedir:
| p | q | p \(\land\) q |
|---|---|---|
| 1 (Doğru) | 1 (Doğru) | 1 (Doğru) ✅ |
| 1 (Doğru) | 0 (Yanlış) | 0 (Yanlış) |
| 0 (Yanlış) | 1 (Doğru) | 0 (Yanlış) |
| 0 (Yanlış) | 0 (Yanlış) | 0 (Yanlış) |
Gördüğünüz gibi, "ve" işlemi yalnızca her iki önerme de doğru olduğunda doğru sonucunu verir.
"Veya" işlemi, iki önermeden en az biri doğru ise doğru sonucunu verir.
"İse" işlemi, yalnızca p doğru ve q yanlış olduğunda yanlış sonucunu verir, diğer tüm durumlarda doğrudur.
"Değil" işlemi, bir önermenin doğruluk değerini tersine çevirir.
Sonuç olarak, doğruluk tabloları, mantığın dilini görselleştirerek anlaşılır kılan güçlü ve temel bir araçtır. 🎓