Matematikte ve mantıkta veya bağlacı, iki önermeyi birleştirmek için kullanılan bir bağlaçtır. Sembolü "∨" şeklindedir. p ve q gibi iki önermeyi "p ∨ q" şeklinde birleştiririz ve bu bileşik önermeye "ayrıştırıcı veya" denir.
Veya (∨) bağlacının doğruluk değeri, bileşenlerinden en az birinin doğru (1) olması durumunda doğru (1), diğer tüm durumlarda ise yanlış (0) olur.
Aşağıda p ∨ q önermesinin doğruluk tablosu verilmiştir:
p | q | p ∨ q
1 | 1 | 1
1 | 0 | 1
0 | 1 | 1
0 | 0 | 0
p ∨ q ≡ q ∨ p
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
(p ∧ q) ∨ r ≡ (p ∨ r) ∧ (q ∨ r)
p ∨ p ≡ p
¬(p ∨ q) ≡ ¬p ∧ ¬q
"Bugün sinemaya veya tiyatroya gideceğim." cümlesini ele alalım. Bu cümle;
Bu örnek, veya bağlacının günlük kullanımda genellikle "en az biri" anlamına geldiğini gösterir.