Nézzük a következő összetett logikai állítást: „A labdarúgó világbajnokságot vagy Németország vagy Brazília nyeri.” A két lehetőség kizárja egymást. Az ilyen típusú logikai művelet a kizáró vagy, szemben a megengedő vagy műveletével. Definíció: A kizáró vagy az a logikai művelet, amely két kijelentést (állítást) a „vagy” kötőszóval úgy kapcsol összeTovább