Mantık, felsefe, matematik ve bilgisayar bilimlerinin temelini oluşturan disiplinlerden biridir. Bu alanlarda kullanılan en önemli araçlardan biri de mantık eklemleridir. Bu yazıda, bu eklemlerden biri olan ve günlük hayatta da sıklıkla kullandığımız "tikel evetleme" veya diğer adıyla "VEYA" (∨) eklemini inceleyeceğiz.
Tikel evetleme, mantıkta iki veya daha fazla önermeyi birleştirmek için kullanılan bir bağlaçtır. Sembolü "∨" şeklindedir ve genellikle "veya" olarak okunur. Günlük dildeki "veya" ifadesinin mantıksal karşılığıdır, ancak ondan önemli bir farkı vardır: dışlayıcı değildir.
Yani, "A ∨ B" önermesi, A doğruysa, B doğruysa veya her ikisi de doğruysa doğru kabul edilir. Yanlış olması için her iki önermenin de yanlış olması gerekir.
Mantıkta bir eklemin davranışını anlamanın en kesin yolu doğruluk tablosu oluşturmaktır. A ve B gibi iki önermemiz olduğunu varsayalım. Doğru (D) ve Yanlış (Y) değerlerini alabilirler.
| A | B | A ∨ B (A veya B) |
|---|---|---|
| Y | Y | Y |
| Y | D | D |
| D | Y | D |
| D | D | D |
Tablodan da görüleceği üzere, tikel evetlemede sadece her iki önerme de yanlışken sonuç yanlış olur. Diğer tüm durumlarda sonuç doğrudur.
Tikel evetleme, dijital elektroniğin yapı taşı olan mantık kapılarından biri olan OR (VEYA) kapısının temelini oluşturur.
|| operatörü ile temsil edilir ve koşul ifadelerinde yaygın olarak kullanılır. Örneğin: if (yaş < 18 || öğrenci == true)Bu iki kavram sıklıkla karıştırılır. Aradaki kritik farkı bir tablo ile gösterelim:
| Durum | A ∨ B (Tikel Veya) | A ⊕ B (XOR - Dışlayıcı Veya) |
|---|---|---|
| A Y, B Y | Y | Y |
| A Y, B D | D | D |
| A D, B Y | D | D |
| A D, B D | D | Y |
Gördüğünüz gibi, XOR'da iki önerme de doğruysa sonuç yanlıştır. Tikel evetlemede ise bu durumda sonuç hala doğrudur. XOR, "ya bu, ya şu" anlamına gelirken; tikel evetleme "bu veya şu veya her ikisi" anlamındadır.
Tikel evetleme (∨), sembolik mantığın ve onun uygulama alanlarının vazgeçilmez bir parçasıdır.
Mantığın bu temel taşını anlamak, daha karmaşık mantıksal yapıları ve algoritmaları kavramanız için sağlam bir zemin hazırlayacaktır.