Truth Table of Not A Not B and Not (A and not B)

Discussion in 'Engineering Concepts' started by Capparaceae, Jan 3, 2009.

  1. Capparaceae

    Capparaceae New Member

    Joined:
    Jan 3, 2009
    Messages:
    4
    Likes Received:
    0
    Trophy Points:
    0
    This is a very impressive site with so many clever people amongst you. I'm trying to understand the work my granddaughter is doing so I can discuss it with her and help, but this defeats me. I know it's probably simple, but could someone please explain it to me. It's the brackets that I don't understand in the NOT(A AND NOT B)

    Truth tables can be used to show whether or not two Boolean
    expressions are equivalent. By copying (please make sure you copy
    the first two columns exactly as shown) and completing the truth
    tables given in Figure 5 below, show that
    NOT A AND NOT B
    is not equivalent to
    NOT (A AND NOT B)
    Make sure you end your answer with a proper conclusion.
    [5]
     
  2. shabbir

    shabbir Administrator Staff Member

    Joined:
    Jul 12, 2004
    Messages:
    15,375
    Likes Received:
    388
    Trophy Points:
    83
    Re: Hello Everyone Granny Needs Help!

    I moved your thread into the right forum for better response and as I can see you are asking why

    NOT A AND NOT B

    and

    NOT (A AND NOT B)

    are not same and the reply lies in the bodmas rule of maths.

    With the first statement the meaning is

    Not of A and Not of B

    Bit the second the statement is

    A and Not Bs Not
     
  3. xpi0t0s

    xpi0t0s Mentor

    Joined:
    Aug 6, 2004
    Messages:
    3,009
    Likes Received:
    203
    Trophy Points:
    63
    Occupation:
    Senior Support Engineer
    Location:
    England
    Brackets are used specify the order of evaluation, just as in maths. 5 * 2 + 3 is 13 because multiplication takes precedence over addition, but if you wanted the addition first you'd write 5 * (2 + 3) which is 25.

    It's the same with Boolean algebra. NOT A AND NOT B is the same as (NOT A) AND (NOT B), because NOT takes precedence, so NOT (A AND NOT B) just means that you want the inverse of A AND (NOT B).

    To show that the two expressions are not equivalent basically this means that you must draw out the truth table for both. I find it easier to build it up with multiple columns rather than to try and work it all out for each line, so if the first column is A, the second B, the third NOT A, the fourth NOT B and the fifth the AND of the third and fourth, i.e. (NOT A) AND (NOT B), we get the following:
    Code:
    A B !A !B (!A . !B)
    0 0  1  1  1 
    0 1  1  0  0
    1 0  0  1  0
    1 1  0  0  0
    
    So do the same for NOT (A AND NOT B). Make the first two columns A and B, the third NOT B (just invert the second), the fourth A AND NOT B (so AND the 1st and 3rd) and the fifth the inverse of the fourth.
     
  4. Capparaceae

    Capparaceae New Member

    Joined:
    Jan 3, 2009
    Messages:
    4
    Likes Received:
    0
    Trophy Points:
    0
    I cannot thank you enough Shabbir for posting this one for me, as well as the explanation, also thank you xpi0tos for your help. I think I now understand.
     

Share This Page

  1. This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
    By continuing to use this site, you are consenting to our use of cookies.
    Dismiss Notice