Un operator de logică având în proprietatea că, dacă P este o cifră binară şi Q este o cifră binară şi fie P sau Q este de 1, dar nu ambele, apoi P-exclusive sau Q este 1.