One way to express the XOR using only AND, OR, NOT is:
¬(∧)∧¬(¬∧¬)
Is this the "cleanest" or most straightforward way to do it, or is there a simpler way to express the XOR relationship?
One way to express the XOR using only AND, OR, NOT is:
¬(∧)∧¬(¬∧¬)
Is this the "cleanest" or most straightforward way to do it, or is there a simpler way to express the XOR relationship?
Sometimes, the description "either but not both" in the form $(A \vee B) \wedge \neg (A \wedge B)$ can be easier to parse (and is slightly shorter).