Results 1 to 5 of 5

Math Help - disjunctive normal form question

  1. #1
    Member
    Joined
    Dec 2009
    Posts
    225

    disjunctive normal form question

    I want to find a statement form in relaxed disjunctive normal form that is logically equivalent to ((p \to q) \wedge (q \to r)).

    The solution has to be (((\neg p \wedge \neg q) \vee (\neg p \wedge r))\vee (q \wedge r)). But I don't see how the got this answer.

    I used a truth table, where I've marked with a * the rows where the statement is true:




    by looking at those rows the disjunctive normal form is

    ((\neg p \wedge \neg q) \wedge \neg r) \vee ((\neg p \wedge \neg q) \wedge r) \vee ((\neg p \wedge q) \wedge r) \vee ((p \wedge q) \wedge r)

    So how did they get a different answer? How can we get the right answer using the table?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member
    Joined
    Jul 2011
    Posts
    196

    Re: disjunctive normal form question

    Are you familiar with the fact that:

    ((p\rightarrow q)\wedge (q\rightarrow r)) \equiv (\neg p \vee q )\wedge (\neg q \vee r)

    If you continue you will find one false term.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Dec 2009
    Posts
    225

    Re: disjunctive normal form question

    Quote Originally Posted by terrorsquid View Post
    Are you familiar with the fact that:

    ((p\rightarrow q)\wedge (q\rightarrow r)) \equiv (\neg p \vee q )\wedge (\neg q \vee r)

    If you continue you will find one false term.
    Yes, that follows from the impliction law. But what do you mean that I find one false term?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    Jul 2011
    Posts
    196

    Re: disjunctive normal form question

    Well, the way I got to your answer is as follows:

    from

    (\neg p \vee q )\wedge (\neg q \vee r)

    ((\neg p \wedge \neg q) \vee (\neg p \wedge r))\vee ((q \wedge \neg q)\vee (q \wedge r))

    (q\wedge \neg q) is clearly false.

    Removing it, you are left with your answer provided.

    I'm not sure if that is what you are looking for.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    Dec 2009
    Posts
    225

    Re: disjunctive normal form question

    But my question is how do you get this answer by looking at the truth table? You just got this answer using the logical laws. Sometimes we are required to do it via the table, not logical laws.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Boolean Disjunctive Normal Form
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: November 5th 2011, 03:23 AM
  2. disjunctive normal form
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: May 8th 2010, 10:12 AM
  3. Disjunctive Normal Form
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: October 15th 2009, 07:03 PM
  4. Disjunctive Normal form
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: June 11th 2007, 05:03 PM
  5. Disjunctive Normal Form
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: February 23rd 2007, 01:03 PM

Search Tags


/mathhelpforum @mathhelpforum