命题关系

或（or）：∨

且（and）：∧

XOR gate

XOR gate (sometimes EOR, or EXOR and pronounced as Exclusive OR) is a digital logic gate that gives a true (1 or HIGH) output when the number of true inputs is odd.

https://en.wikipedia.org/wiki/XOR_gate