Results 1 to 2 of 2

Math Help - Is there a straight forward way of converting sentences in CNF to DNF?

  1. #1
    Junior Member
    Joined
    Oct 2009
    Posts
    31

    Is there a straight forward way of converting sentences in CNF to DNF?

    Being CNF Conjuntive Normal Form and DNF Disjuntive Normal Form, is there any straight forward way to convert from one form to another?

    Let's say I have the following sentence:

    (P ^ ~Q ^ R) v (~P ^ Q ^ R) v (~P ^ ~Q)

    that is currently DNF and I'm being asked to convert it to CNF. I know I could just try to "extend" this, but I find it awkward. Is there any simpler way that I'm missing or it is just the only way to do it?
    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
    Check this out. The method described actually does the reverse of what you're doing; however, I think the method can be reversed in an analogous way. It seems fairly straight-forward.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Straight forward ODE
    Posted in the Differential Equations Forum
    Replies: 4
    Last Post: February 6th 2011, 08:24 AM
  2. Replies: 1
    Last Post: January 7th 2011, 05:01 AM
  3. Probably quite straight forward...
    Posted in the Calculus Forum
    Replies: 2
    Last Post: April 27th 2009, 04:30 PM
  4. Algebraic Sentences Urgant help
    Posted in the Algebra Forum
    Replies: 3
    Last Post: May 6th 2007, 03:23 PM
  5. Replies: 4
    Last Post: December 13th 2006, 05:48 PM

Search Tags


/mathhelpforum @mathhelpforum