Results 1 to 12 of 12

Math Help - Boolean Algerba Problem

  1. #1
    Junior Member
    Joined
    Dec 2011
    Posts
    41

    Boolean Algerba Problem

    Hello,


    I'm trying to solve Boolean Algebra Problem . And here's it

    Prove that X'Y'Z' + X'YZ + XY'Z + XYZ' = (X xor Y)' xor Z

    I've proofed that

    this problem = (X Xor Y xor Z)' but i can't get that one above . Can anybody help,please?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,713
    Thanks
    1472

    Re: Boolean Algerba Problem

    One way to prove such a statement is to set it up a "truth table". Since each of the two elements, x, y, and z, can be either True or False, there are 2^3= 8 cases. If x= y= x= False, then x'= y'= z'= True so x'y'z is True while x'yz, x'yz, and xyz' are false. True+ False+ False+ False= True. The left side is True in this case. On the right, x xor y' is "False xor True= True" and so the right side becomes "True xor False= True".

    Do the same with the other 7 cases and see if you get both sides the same in each case.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Dec 2011
    Posts
    41

    Re: Boolean Algerba Problem

    Quote Originally Posted by HallsofIvy View Post
    One way to prove such a statement is to set it up a "truth table". Since each of the two elements, x, y, and z, can be either True or False, there are 2^3= 8 cases. If x= y= x= False, then x'= y'= z'= True so x'y'z is True while x'yz, x'yz, and xyz' are false. True+ False+ False+ False= True. The left side is True in this case. On the right, x xor y' is "False xor True= True" and so the right side becomes "True xor False= True".

    Do the same with the other 7 cases and see if you get both sides the same in each case.

    I want to solve that problem using postulates

    Such that


    Z'(X xor y) ' + Z(X xor Y) Let X Xor y = A

    Z'A' + ZA = (Z xor A)' = (Z xor A xor Y)'
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,537
    Thanks
    778

    Re: Boolean Algerba Problem

    Could you give the list of available postulates, especially concerning xor? This connective is less common than and, or, and not, so the postulates for it are less standard.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Dec 2011
    Posts
    41

    Re: Boolean Algerba Problem

    Quote Originally Posted by emakarov View Post
    Could you give the list of available postulates, especially concerning xor? This connective is less common than and, or, and not, so the postulates for it are less standard.
    X xnor Y = (X xor Y)'
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,537
    Thanks
    778

    Re: Boolean Algerba Problem

    This is not the complete list of postulates dealing with xor. This is the definition of a connective xnor. If I replace all xnor's with the right-hand side, I'll be left with xor's and the usual connectives, but I have to way to relate xor to those connectives.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Junior Member
    Joined
    Dec 2011
    Posts
    41

    Re: Boolean Algerba Problem

    Quote Originally Posted by emakarov View Post
    This is not the complete list of postulates dealing with xor. This is the definition of a connective xnor. If I replace all xnor's with the right-hand side, I'll be left with xor's and the usual connectives, but I have to way to relate xor to those connectives.

    That's all i know postulates about xor and xnor
    Follow Math Help Forum on Facebook and Google+

  8. #8
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,537
    Thanks
    778

    Re: Boolean Algerba Problem

    How do your sources introduce xor? If you want to prove the original equality symbolically, I would expect that you have at least something like X xor Y = XY' + X'Y.
    Follow Math Help Forum on Facebook and Google+

  9. #9
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,537
    Thanks
    778

    Re: Boolean Algerba Problem

    Also, in post #1 you said that you proved X'Y'Z' + X'YZ + XY'Z + XYZ' = (X xor Y xor Z)'. You could not have done this without some laws about xor. Obviously, if xor is an arbitrary connective, this equality is not true in general.
    Follow Math Help Forum on Facebook and Google+

  10. #10
    Junior Member
    Joined
    Dec 2011
    Posts
    41

    Re: Boolean Algerba Problem

    Yup i know that I know that A xor B = A'B + AB' and a xnor b = A'B' + AB

    X(Y+Z) = XY + XZ and so on. i didn't expect that I've to mention that

    I'm trying to figure out if what I've done is right how can i put (X xor Y xor Z)' = (X xor Y)' xor Z
    Follow Math Help Forum on Facebook and Google+

  11. #11
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,537
    Thanks
    778

    Re: Boolean Algerba Problem

    It is true that (x xor y)' = x' xor y = x xor y'. Intuitively, x xor y says that x ≠ y, so (x xor y)' says that x = y. Similarly, x' xor y says that x' ≠ y, i.e., x = y. Formally, the laws above are easy to prove using X xor Y = XY' + X'Y, (X xor Y)' = XY + X'Y' and X'' = X.

    Using these laws, (X xor Y xor Z)' = ((X xor Y) xor Z)' = (X xor Y)' xor Z.
    Follow Math Help Forum on Facebook and Google+

  12. #12
    Junior Member
    Joined
    Dec 2011
    Posts
    41

    Re: Boolean Algerba Problem

    Quote Originally Posted by emakarov View Post
    It is true that (x xor y)' = x' xor y = x xor y'. Intuitively, x xor y says that x ≠ y, so (x xor y)' says that x = y. Similarly, x' xor y says that x' ≠ y, i.e., x = y. Formally, the laws above are easy to prove using X xor Y = XY' + X'Y, (X xor Y)' = XY + X'Y' and X'' = X.

    Using these laws, (X xor Y xor Z)' = ((X xor Y) xor Z)' = (X xor Y)' xor Z.
    Wow Thanks alot!!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Boolean Algerba Problem
    Posted in the Math Topics Forum
    Replies: 4
    Last Post: June 2nd 2012, 11:02 AM
  2. Boolean Algebra Problem
    Posted in the Algebra Forum
    Replies: 7
    Last Post: October 12th 2010, 12:08 PM
  3. Linear Algerba in Calculus
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: January 21st 2010, 07:18 AM
  4. More Boolean
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: November 21st 2009, 02:17 PM
  5. Some Algerba problems
    Posted in the Pre-Calculus Forum
    Replies: 3
    Last Post: April 27th 2009, 02:14 AM

Search Tags


/mathhelpforum @mathhelpforum