XOR | ||||||||||||||||
XOR
|
OR とは異なり2つの古い命題のうち一方のみが真のとき、そのときだけ真になる論理演算子があります。それは英語の exclusive or というもので、日本語では 排他的論理和 といいます。例えば exclusive or を略して XOR と書くと、「その花は赤い」XOR「その実は甘い」は、「その花は赤いかその実は甘いかどちらか1つだ」と同じです。もしその花が赤ければその実は甘くはないのです。やはり真理値表で示すと、
最後の行( T T のとき)のみが OR と異なることに注意しましょう。式で書くと、
F XOR F = F |