Results 1 to 4 of 4

Math Help - DNF expression HELP!

  1. #1
    Super Member
    Joined
    Feb 2008
    Posts
    535

    DNF expression HELP!

    How can I find a DNF expression which is logically equivalent to x --> y?

    DNF = disjunctive normal form
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member angel.white's Avatar
    Joined
    Oct 2007
    Posts
    723
    Awards
    1
    Quote Originally Posted by jzellt View Post
    How can I find a DNF expression which is logically equivalent to x --> y?

    DNF = disjunctive normal form
    Use truth tables:

    x | y | x->y
    ------------
    T | T | T
    T | F | F
    F | T | T
    F | F | T

    Think you can take it from here?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Super Member
    Joined
    Feb 2008
    Posts
    535
    thanks...I just figured it out. Now, to find the CNF expression, do I just negate my DNF?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member angel.white's Avatar
    Joined
    Oct 2007
    Posts
    723
    Awards
    1
    Quote Originally Posted by jzellt View Post
    thanks...I just figured it out. Now, to find the CNF expression, do I just negate my DNF?
    No, the way I learned to do it (may not work better for you) is to do a negated disjunctive form for anything that returns false.

    Meaning do DNF for anything that returns false, (thus it will return true for those values and false for the true values) then put a negation over the whole thing, (so it will have the correct truth values) then use DeMorgans to get it into the proper form.

    For this one, that means that X^~Y is the DNF for the false, so we negate the whole thing:

    ~(X^~Y)

    And do DeMorgans

    (~X v Y)



    In a larger example, the answer is more obvious, ie say you have 3 variables xyz

    And say the following start values return false: TTT, TTF, TFT

    Then your DNF for the false looks like:

    (X Y Z) v (X Y ~Z) v (X ~Y Z)

    And the negation will cause it to return the correct truth values:

    ~[ (X Y Z) v (X Y ~Z) v (X ~Y Z) ]

    And DeMorgans will distribute the negation and change the main ors to ands

    ~(X Y Z) ^ ~(X Y ~Z) ^ ~(X ~Y Z)

    And now you need to distribute it to the individual components using DeMorgans (which also changes the ands to ors)

    (~X v ~Y v ~Z) ^ (~X v ~Y v Z) ^ (~X v Y v ~Z)


    I'd do it with Boolean Algebra, but I can't get all the bars to work right :/ sorry, hope you don't mind it done in logic.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 20
    Last Post: January 15th 2012, 09:30 AM
  2. Replies: 6
    Last Post: October 6th 2011, 01:48 PM
  3. first expression of the second
    Posted in the Pre-Calculus Forum
    Replies: 6
    Last Post: October 15th 2009, 02:36 PM
  4. An expression for a sum
    Posted in the Calculus Forum
    Replies: 4
    Last Post: June 7th 2009, 06:58 PM
  5. Expression in a+bi
    Posted in the Algebra Forum
    Replies: 1
    Last Post: January 25th 2009, 03:49 PM

Search Tags


/mathhelpforum @mathhelpforum