命题逻辑

#5（左边为大陆用词，右边为台湾用词） 门电路 闸电路 逻辑门 逻辑闸 非门 反闸 与门 及闸 与非门 反及闸 或门 或闸 或非门 反或闸 异或门 互斥或闸 同或门 反互斥或闸 传输门 传输闸 把“Not”翻译为“非”或者“反”，把“And”翻译为“与”或者“及”都是两可的，无分上下。而对“Xor”的翻译就体现出角度的不同了，我们看逻辑运算Xor的两个定义： 从命题逻辑演算上来说，两式是等值的，因此都可以用来定义Xor运算。但从理解上，(1)表示了“若P和Q等值则为假，若P和Q不等值则为真”，意义是用来判断P和Q是不是不一样；而(2)表示了“或者仅仅P为真，或者仅仅Q为真”，意义是判断两者是互斥的