Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Complement of XOR, what is it?

  1. Sep 10, 2008 #1
    I have an expression like this A XOR B and then a bar over the expression, meaning complement.

    So what is the complement of XOR? Is it XNOR? I don't mean inverse I mean complement.

    You know like OR is the complement of AND.

    The professor forgot to tell us, and the book doesnt explain it. Quite absurd. What's more absurd is I can't find anything online about it.
     
  2. jcsd
  3. Sep 10, 2008 #2
    yes it is not of XOR..I dont find anything absurd...what is the doubt?
     
  4. Sep 10, 2008 #3

    berkeman

    User Avatar

    Staff: Mentor

    I think the doubt is about what to call it. After all, the complement of AND is NAND, so the complement of XOR would need to be NXOR, which sounds and looks funny.

    So I googled each spelling and get hits with both. Wikipedia seems to favor XNOR:

    http://en.wikipedia.org/wiki/XNOR_gate

    .
     
    Last edited: Sep 10, 2008
  5. Sep 10, 2008 #4
    What is the logical definition of a complement? :confused:
     
  6. Sep 10, 2008 #5

    berkeman

    User Avatar

    Staff: Mentor

    Yikes, I missed that. Jennifer is right -- that is not an example of a logical complement. A logical complement is negation:

    http://logical.complement.word.sytes.org/

    So the complement of AND is NAND.
     
  7. Sep 10, 2008 #6
    Ummm yes, but AND does not undo OR or vice versa, while NAND does undo AND.

    AND, OR are complements. NAND, AND are inverses. Two different things.

    So what is the complement of XOR?
     
  8. Sep 10, 2008 #7

    chroot

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    I would say that calling AND and OR "complements" is incredibly misleading.

    The expression (A ^ B)', where ^ denotes XOR and ' denotes NOT, is equal to A' ^ B'. In that sense, XOR is its own "complement."

    - Warren
     
  9. Sep 10, 2008 #8
    Wait so complements only apply to 0 and 1 but not to the actual AND and OR gates?

    That is 1'=0 and 0'=1

    But what about DeMorgan's law?

    (x+y)' =x'y'

    (xy)'= x'+y'
     
  10. Sep 10, 2008 #9

    chroot

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Actually, I should write out truth tables before making such statements. :redface: You cannot reduce the expression (a ^ b)' to anything simpler, and that operation is called XNOR. berkeman's initial response was correct.

    - Warren
     
  11. Sep 10, 2008 #10
    My professor replied with this:

    Write out the truth table for XOR and then use one of the methods that
    were taught during the last two lectures to get a function for XOR from
    the truth table. Then take the complement of that function. All
    functions can be constructed using AND, OR, and NOT.

    Okay I understand that, but when trying to prove the equality of an expression with perfect induction, all I have to do is plug in all the possible cases from the truth table.

    I.E. A function with 2 variables has 4 possible combinations of 1 and 0.

    Doing it for something like (A XOR B') is easy. Say A= 0 and B= 1

    It would be (0 XOR 1') = (0 XOR 0) = 0

    But what if I have something like this? (A XOR B)' where I want to plug in A=0 and B=1 again.

    According to DeMorgan's theorem (x+y)' =x'y'

    So how would I do that with XOR?
     
  12. Sep 10, 2008 #11

    chroot

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    (a xor b)' = (a xnor b) = (a' xnor b')

    - Warren
     
  13. Sep 10, 2008 #12
    Are you absolutely sure? What about what my professor said, how is what he said relevant to this? Maybe he misunderstood my question.
     
  14. Sep 10, 2008 #13

    chroot

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Well, (a XNOR b) is the same as (a' + b)(a + b'). He's right that any expression can be broken down into and, OR, and NOT. There's no simpler representation for (a XOR b)' than (a XNOR b), if you'll accept that XNOR is a valid operator. If you don't want to use XNOR, then you're forced to use the more complicated expression.

    In the same way, XOR can be written as ab' + a'b.

    - Warren
     
  15. Sep 11, 2008 #14
    The complement of XOR, "exclusive or", is called XNOR, "exclusive nor".
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Complement of XOR, what is it?
  1. XOR Gates (Replies: 2)

  2. 2's complement (Replies: 2)

  3. Is this an xor gate? (Replies: 6)

Loading...