Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm not sure whether this is the best place to ask this, but is the XOR binary operator a combination of AND+NOT operators?

share|cite|improve this question
Do you also allow OR? – Aryabhata May 11 '11 at 14:58
@Moron: Of necessity you do, thanks to our friend De Morgan... – Nate Eldredge May 11 '11 at 15:00
So with a nick like yours, all your messages seem to be insults... – GEdgar May 11 '11 at 18:13
@GEdgar: Now all the other messages seem to be insults :-) (That was one reason why I was reluctant to change it). – Aryabhata May 12 '11 at 16:59
@Dark: If what you really want to know is how to partition a two-dimensional input space with one line to represent an XOR decision boundary, that is a very different question--it can't be done. Since the input space is two-dimensional, you can draw it on a sheet of paper. If you draw all four results that XOR needs to produce, you will get a square where two diagonally opposite corners would need to be separated from the other two by the line. If two corners are on the same side of the line, then so is their midpoint. So the square's center must be on both sides of the line. Impossible. QED. – Matt Nov 26 '11 at 16:55
up vote 20 down vote accepted

Yes. In fact, any logical operation can be built from the NAND operator, where


See for instance, which gives


Digression: There is a story about certain military devices being designed using only NAND gates, so that only one part needs to be certified, stocked as spares, etc. I don't know whether it's actually true.

share|cite|improve this answer
AKA, Sheffer stroke. – lhf May 11 '11 at 16:12
Of course, that can be simplified to (NOT(A AND B)) AND (NOT(NOT A AND NOT B)) :p – IainM May 11 '11 at 16:31
Which, of course, actually gives you an obvious pattern to convert an arbitrary binary operator into a combination of ANDs and NOTs, without having to go through NAND. – IainM May 11 '11 at 16:33
Another way to determine A XOR B is A != B. – Peter Lawrey May 11 '11 at 20:10
Most flash drives are made entirely from NAND gates: – BlueRaja - Danny Pflughoeft May 11 '11 at 20:43

Meanwhile, let me add the fact that XOR is not expressible by any expression whose operations use only AND, OR, IMPLIES, ConverseImplies and IFF.

To see this, observe merely that True XOR True is False, but the other operations always take True input to True output, a feature that would be inductively preserved in complex expressions.

share|cite|improve this answer
Or, "you cannot NOT have NOT." – J. M. May 12 '11 at 1:09
I was tempted to say that that I couldn't disagree less! But actually, you can not have NOT, since it has already been observed that NAND suffices, as does NOR. – JDH May 12 '11 at 1:56

enter image description here

share|cite|improve this answer

Here are two similar but different versions derived using a OR b = NOT(NOT a AND NOT b), though there are others

p XOR q   =             ( p AND NOT q )  OR     ( NOT p AND q ) 
          =   NOT ( NOT ( p AND NOT q ) AND NOT ( NOT p AND q ) )


p XOR q   =       (     p  OR     q ) AND NOT ( p AND q )  
          =   NOT ( NOT p AND NOT q ) AND NOT ( p AND q )  
share|cite|improve this answer
one too many NOTs for my liking.. But thanks for the detailed reply – Dark Star1 May 11 '11 at 16:51
@Dark Star1: The first has the same number of NOTs as Nate Eldredge has NANDs, while the second has the same number of NOTs as IainM has NOTs. – Henry May 11 '11 at 17:15

$\{AND, NOT\}$ is a complete set of operators, i.e. you can express any boolean function $f:\{0,1\}^n \to \{0,1\}$ using them:

$$f(x_1,\cdots,x_n) = \lnot \bigwedge_{w\in f^{-1}(1)} \lnot \big(\bigwedge_{w_i=1}x_i \land \bigwedge_{w_i=0}\lnot x_i \big)$$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.