"Veya" kavramını ifade etmek için bir önermede mantık, ilişki veya terimlerin bağlantısında ayrılık ; alternatiflerin bir ifadesidir (bazen "alternatif" olarak adlandırılır). Netlik sağlamak için, özel bir ayrılma (her iki X veya Y , ama ikisi birden değil) simgeleşmiş X ⊻ y dahil ayrılmasının (ya da ayırt edilmelidir X ya da Y ya da her ikisi x ve y ) simgeleşmiş x ∨ y . Ayrıca bkz .
Bu makale en yakın zamanda Editör Yardımcısı William L. Hosch tarafından revize edilmiş ve güncellenmiştir.