Ayrışma

ayrıklık, mantıkta, "veya" kavramını ifade etmek için bir önermedeki terimlerin ilişkisi veya bağlantısı; alternatiflerin bir ifadesidir (bazen "dönüşüm" olarak da adlandırılır). Açıklık için, x ⊻ y olarak sembolize edilen dışlayıcı ayrıklık (ya x ya da y, ama ikisi birden değil), x ∨ y olarak sembolize edilen kapsayıcı ayrıklıktan (ya x ya da y, ya da hem x hem y) ayırt edilmelidir.