A logikai algebrában a "megengedő vagy" relációnak megfelelő művelet. A művelet eredménye (C) akkor igaz, ha a művelettel összekapcsolt két esemény (A és B) közül legalább egy igaz. Jelölése: C=AV B vagy C=A+B. A művelet értelemszerűen kiterjeszthető kettőnél több eseményre is. (A "kizáró vagy" kapcsolatot antivalenciának nevezik).
Lásd még:
