Pはバイナリの数字であり、両方ではないQはバイナリの数字であり、PまたはQのどちらかが1である、しかし場合は、Pは、排他的論理和Qが1であるという特性を有する論理演算子。