Sebuah operator logika memiliki properti yang jika P adalah digit biner dan Q adalah digit biner dan baik P atau Q adalah 1, tetapi tidak keduanya, maka P eksklusif-OR Q adalah 1.