XOR Power

Logic Level 3

A XOR B A \text{ XOR } B is true if either A A is true or B B is true (but not both). ( X O R XOR stands for "exclusive or".)

Is it possible to make a statement equivalent to A AND B A \text{ AND } B using only X O R XOR as an operation? (Please note: only XOR! NOT isn't allowed.)

Yes No

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Denote A X O R B A \,XOR \,B by A B A \oplus B .

Then the following hold : A B = B A ( A B ) C = A ( B C ) A 0 = A A A = 0 A \oplus B = B \oplus A \\ (A \oplus B) \oplus C = A \oplus (B \oplus C) \\ A \oplus 0 = A \\ A \oplus A = 0

Hence any expression involving only A , B A,B and \oplus is equivalent to one of the following :

A B A B 0 A \oplus B \\ A \\ B \\ 0

None of the above are equivalent to A A N D B A \, AND \, B .

We conclude that such an expression doesn't exist.

Eric Kim
Dec 14, 2016

Not sure how mathematically sound this is.

We are only allowed A, B, and the XOR operator.

Note that the solution has to be X XOR Z, where X and Z are any combination of A and B (because XOR is our only operator)

Since we want a statement that says A AND B, we see that X and Y BOTH have to say A AND B.

But this is just a recurrence of the original problem statement, so we see that the statement X XOR Z can not be simplified into A, B, and XOR to say A AND B.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...