Mantık, doğru ve yanlış ifadeleri inceleyen bir bilim dalıdır. Günlük hayatta sıkça kullandığımız "ve" ile "veya" kelimeleri, mantıkta bağlaç olarak adlandırılır ve ifadeleri birleştirmek için kullanılır.
Ve bağlacı, genellikle "∧" sembolü ile gösterilir. İki basit ifadeyi birleştirerek bileşik bir ifade oluşturur. Bu bileşik ifadenin doğru (1) olabilmesi için, birleştirdiği her iki ifadenin de doğru olması gerekir. Eğer ifadelerden en az biri yanlış (0) ise, bileşik ifade de yanlış olur.
Matematiksel olarak şöyle ifade edebiliriz:
Örnek:
Bu cümlenin doğru olması için hem havanın güneşli, hem de sıcak olması şarttır. Biri bile yanlışsa (örneğin güneşli ama soğuksa) cümle yanlış olur.
Bir bileşik ifadenin tüm olası durumlardaki doğruluk değerini gösteren tabloya doğruluk tablosu denir.
p | q | p ∧ q
1 | 1 | 1
1 | 0 | 0
0 | 1 | 0
0 | 0 | 0
Veya bağlacı ise genellikle "∨" sembolü ile gösterilir. Mantıkta iki tür "veya" anlayışı vardır, ancak genellikle kapsayıcı veya kullanılır. Kapsayıcı veya'ya göre, bileşik ifadenin doğru olması için ifadelerden en az birinin doğru olması yeterlidir. İkisi de yanlışsa bileşik ifade yanlış olur.
Matematiksel olarak şöyle ifade edebiliriz:
Örnek:
Bu cümle, yalnızca matematik çalışılsa da, yalnızca fizik çalışılsa da, her ikisi çalışılsa da doğrudur. Sadece hiçbirini çalışmazsanız yanlış olur.
p | q | p ∨ q
1 | 1 | 1
1 | 0 | 1
0 | 1 | 1
0 | 0 | 0
Bu bağlaçlar, matematik problemlerinden bilgisayar programlamaya kadar birçok alanda temel yapı taşlarıdır.