Animated Logo

XOR

目次

命題論理とは

真理値とNOT

ANDとOR

XOR

IMP

EQV

論理式と演算順序

English

TEST

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

A B A XOR B
F F F
F T T
T F T
T T F

最後の行( T T のとき)のみが OR と異なることに注意しましょう。式で書くと、

F XOR F = F
F XOR T = T
T XOR F = T
T XOR T = F
となります。