A logikai algebrában a "kizáró 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 csak az egyik igaz. Jelölése: C= A= B. A művelet kiterjeszthető kettőnél több eseményre is.