Page 1 of 3 123 LastLast
Results 1 to 15 of 33

Math Help - truth table check =]

  1. #1
    Newbie
    Joined
    Nov 2010
    Posts
    17

    truth table check =]

    I just unsure on the truth table ive done and was wondering if someone was able to see if it looks right or not lol

    Heres my forumla:

    P=(p0^p1) V p2

    Heres the table:

    po|p1|p2|P
    1 | 1 |0 | 1
    0 | 0 |1 | 0
    1 | 0 |1 | 0
    1 | 1 |1 | 0
    0 | 1 |1 | 0
    0 | 1 |0 | 0
    1 | 0 |0 | 0


    If ive got it wrong which i think i have, if you could point me in the right direction that would be great!

    Thanks,

    ~Crag
    Follow Math Help Forum on Facebook and Google+

  2. #2
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    5
    Awards
    2
    Couple of comments:

    You're missing one row: the p0 = 0, p1 = 0, p2 = 0 row.

    Your fourth row is incorrect, I think, as are your sixth and seventh rows.

    I would recommend, in general, building up your expression by bits and pieces. Here's an example:

    \begin{tabular}{c|c|c|c|c}<br />
p_{0} &p_{1} &p_{2} &p_{0}\land p_{1} &\neg p_{2}\\ \hline<br />
0 &0 &0 &0 &1\\<br />
0 &0 &1 &0 &0\\<br />
0 &1 &0 &0 &1\\<br />
0 &1 &1 &0 &0\\<br />
1 &0 &0 &0 &1\\<br />
1 &0 &1 &0 &0\\<br />
1 &1 &0 &1 &1\\<br />
1 &1 &1 &1 &0<br />
\end{tabular}

    Then finish. What do you get?

    Note the organized way in which I have arranged the rows. It's a good idea to do that as well (I'm basically counting in binary), so that you don't miss a row. If you have n variables, then the truth table must have 2^{n} rows, in this case 2^{3}=8 rows.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,966
    Thanks
    1785
    Awards
    1
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Nov 2010
    Posts
    17
    \begin{tabular}{c|c|c|c|c|c}<br />
p_{0} &p_{1} &p_{2} &p_{0}\land p_{1} &\neg p_{2} &P \\ \hline<br />
0 &0 &0 &0 &1 &1\\<br />
0 &0 &1 &0 &0 &0\\<br />
0 &1 &0 &0 &1 &1\\<br />
0 &1 &1 &0 &0 &0\\<br />
1 &0 &0 &0 &1 &1\\<br />
1 &0 &1 &0 &0 &0\\<br />
1 &1 &0 &1 &1 &0\\<br />
1 &1 &1 &1 &0 &1<br />
\end{tabular}

    Is that looking right? wasn't sure about the one on row seven as it was both, so im guessing it has to be one or the other to equal P due to the or.

    Is this right?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    5
    Awards
    2
    Technically, what you've done is sort of mix up the inclusive or and the exclusive or. You're asked to compute the inclusive or, which is true if either of the disjuncts is true, or if both of them are true. It is false only when both disjuncts are false. The exclusive or is true if the disjuncts have the opposite truth value, and false if they have the same truth value. Make sense?
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Newbie
    Joined
    Nov 2010
    Posts
    17
    \begin{tabular}{c|c|c|c|c|c}<br />
p_{0} &p_{1} &p_{2} &p_{0}\land p_{1} &\neg p_{2} &P \\ \hline<br />
0 &0 &0 &0 &1 &1\\<br />
0 &0 &1 &0 &0 &0\\<br />
0 &1 &0 &0 &1 &1\\<br />
0 &1 &1 &0 &0 &0\\<br />
1 &0 &0 &0 &1 &1\\<br />
1 &0 &1 &0 &0 &0\\<br />
1 &1 &0 &1 &1 &1\\<br />
1 &1 &1 &1 &0 &1<br />
\end{tabular}

    Right i think i get that, is the table right now?
    Follow Math Help Forum on Facebook and Google+

  7. #7
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    5
    Awards
    2
    There you go.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Newbie
    Joined
    Nov 2010
    Posts
    17
    Right i thinking im getting this now

    i have also been asked to draw truth tables for the formulas Q and R,

    Q= p2
    R= p0 V p1

    So im guessing i can add this onto the current table ive got already, like so:

    \begin{tabular}{c|c|c|c|c|c|c|c}<br />
p_{0} &p_{1} &p_{2} &p_{0}\land p_{1} &\neg p_{2} &P &Q &R \\ \hline<br />
0 &0 &0 &0 &1 &1 &0 &1\\<br />
0 &0 &1 &0 &0 &0 &1 &1\\<br />
0 &1 &0 &0 &1 &1 &0 &0\\<br />
0 &1 &1 &0 &0 &0 &1 &0\\<br />
1 &0 &0 &0 &1 &1 &0 &0\\<br />
1 &0 &1 &0 &0 &0 &1 &0\\<br />
1 &1 &0 &1 &1 &1 &0 &0\\<br />
1 &1 &1 &1 &0 &1 &1 &0<br />
\end{tabular}

    Have i got the or mixed up on formula R again? So for example should it be - R when it is either p0 or p1 but it is not R when they both p0 and p1 are 1. Or like how i have it in my table?

    Also going back to the question ive been asked
    i have also been asked to draw truth tables for the formulas Q and R,
    Does this mean i have to draw a table for each formula or can i do it like i have above?

    Thanks so much for the help!
    Follow Math Help Forum on Facebook and Google+

  9. #9
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    5
    Awards
    2
    Both your Q and R are incorrect. Your Q should be precisely the same as the fifth column you already computed! I would normally build up R from the constituent pieces. Do the negations, and then the disjunct.
    Follow Math Help Forum on Facebook and Google+

  10. #10
    Newbie
    Joined
    Nov 2010
    Posts
    17
    ahh right i see what ive done lol attempt 39 lol XD

    \begin{tabular}{c|c|c|c|c|c|c|c|c|c}<br />
p_{0} &p_{1} &p_{2} &p_{0}\land p_{1} &\neg p_{2} &\neg p_{0} &\neg p_{1} &P &Q &R \\ \hline<br />
0 &0 &0 &0 &1 &1 &1 &1 &1 &1\\<br />
0 &0 &1 &0 &0 &1 &1 &0 &0 &1\\<br />
0 &1 &0 &0 &1 &1 &0 &1 &1 &1\\<br />
0 &1 &1 &0 &0 &1 &0 &0 &0 &1\\<br />
1 &0 &0 &0 &1 &0 &1 &1 &1 &1\\<br />
1 &0 &1 &0 &0 &0 &1 &0 &0 &0\\<br />
1 &1 &0 &1 &1 &0 &0 &1 &1 &1\\<br />
1 &1 &1 &1 &0 &0 &0 &1 &0 &0<br />
\end{tabular}

    Hows that looking? im just a bit unsure on R due to the or

    Thanks
    Follow Math Help Forum on Facebook and Google+

  11. #11
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    5
    Awards
    2
    Q is correct. Double check rows 6 and 7 for R. Like Plato said, you can use WolframAlpha to check your work.
    Follow Math Help Forum on Facebook and Google+

  12. #12
    Newbie
    Joined
    Nov 2010
    Posts
    17
    \begin{tabular}{c|c|c|c|c|c|c|c|c|c}<br />
p_{0} &p_{1} &p_{2} &p_{0}\land p_{1} &\neg p_{2} &\neg p_{0} &\neg p_{1} &P &Q &R \\ \hline<br />
0 &0 &0 &0 &1 &1 &1 &1 &1 &1\\<br />
0 &0 &1 &0 &0 &1 &1 &0 &0 &1\\<br />
0 &1 &0 &0 &1 &1 &0 &1 &1 &1\\<br />
0 &1 &1 &0 &0 &1 &0 &0 &0 &1\\<br />
1 &0 &0 &0 &1 &0 &1 &1 &1 &1\\<br />
1 &0 &1 &0 &0 &0 &1 &0 &0 &1\\<br />
1 &1 &0 &1 &1 &0 &0 &1 &1 &0\\<br />
1 &1 &1 &1 &0 &0 &0 &1 &0 &0<br />
\end{tabular}

    Right im guessing that table is correct now, i checked it on WolfFram and it looks right

    Now thats sorted i got a few questions to answer, im gonna post them here and my answers and would just like someone to tell me if they sound right or not please

    Heres the first one:

    Which of the following are true?
    • {P} |= Q
    • {Q} |= P
    • {P,R} |= Q


    Is the correct answer {Q} |= P due to the fact when ever Q is true so is P, this shows us that Q follows from P.

    Thanks for the help
    Follow Math Help Forum on Facebook and Google+

  13. #13
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    5
    Awards
    2
    Hmm. Couple of questions.

    1. How are you interpreting the symbol |= ? I've usually seen it mean "semantically implies", but I'm not sure how that would work here.
    2. What does the symbol {P,R} mean? Does that mean P and R |= Q? Or does it mean P or R |= Q?
    Follow Math Help Forum on Facebook and Google+

  14. #14
    Newbie
    Joined
    Nov 2010
    Posts
    17
    1. the symbol means follow from
    2. it means and

    Cheers,

    ~Crag
    Follow Math Help Forum on Facebook and Google+

  15. #15
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785
    Quote Originally Posted by Ackbeet View Post
    1. How are you interpreting the symbol |= ? I've usually seen it mean "semantically implies", but I'm not sure how that would work here.
    That's what it means here as well.
    Quote Originally Posted by Ackbeet View Post
    2. What does the symbol {P,R} mean? Does that mean P and R |= Q? Or does it mean P or R |= Q?
    It's just emphasizing that what is left of |= is a set of formulas, which is interpreted as a conjunction. Usually the set notation is omitted.

    Is the correct answer {Q} |= P due to the fact when ever Q is true so is P, this shows us that Q follows from P.
    Yes, though in words this says that P follows from Q, not the other way around. Also, {P,R} |= Q holds.
    Follow Math Help Forum on Facebook and Google+

Page 1 of 3 123 LastLast

Similar Math Help Forum Discussions

  1. How would I do this truth table?
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: November 25th 2011, 03:41 AM
  2. Truth table
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 20th 2010, 06:25 AM
  3. Truth table
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: November 25th 2009, 01:36 PM
  4. Please check my Truth Table 2!
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: July 15th 2009, 11:38 PM
  5. Please check my Truth Table
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: July 15th 2009, 01:18 PM

Search Tags


/mathhelpforum @mathhelpforum