Logical disjunction
Yazeka
Arama sonuçlarına dayanarak oluşturuldu
Mantıksal ayrılma, önermelerden en az biri doğru olduğunda sonucun doğru olduğu bir mantıksal işlemdir. Bu işlem, önermeler arasında "veya" bağlacı ile gösterilir ve sembol olarak v kullanılır.1
Ayrılma işlemi, yalnızca tüm önermeler yanlış olduğunda yanlış sonuç verir. Örneğin, "p v q" ifadesinde p ve q'nun ikisi de yanlışsa sonuç yanlıştır.12
Bu mantıksal operatör, bilgisayar programlamasında ve matematiksel ifadelerde sıklıkla kullanılır. Temel amacı, birden fazla koşulun aynı anda sağlanmasını kontrol etmektir.13