互斥析取

一个 析取，当且仅当其参数之一为真（但不能两者都为真）时为真，如果两者都为真或都为假，则为假，这等价于 异或 连接词。

相比之下，相容析取 在其参数之一或两者都为真时为真。这等价于 或 连接词。