Results 1 to 2 of 2

Math Help - Boolean Disjunctive Normal Form

  1. #1
    Member
    Joined
    Jul 2011
    Posts
    196

    Boolean Disjunctive Normal Form

    I'm trying to get f(a,b,c) = (a'b)'(a+c)'+a(c+b')+ab'(c+a') into DNF and was wondering what happens when I get terms that don't have all three boolean algebras in them or two of the same in a group?

    Solving, I get:

    (a+b')(a'c')+(ac+ab')+(ab'c+ab'a')

    aa'c'+b'a'c'+ac+ab'+ab'c+ab'a'

    Do I just drop everything other than b'a'c' and ab'c?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785

    Re: Boolean Disjunctive Normal Form

    Quote Originally Posted by terrorsquid View Post
    what happens when I get terms that don't have all three boolean algebras
    Boolean variables.

    We have xx = x, x'x' = x', xx' = 0, and x0 = 0. Therefore, when a literal (a variable or its negation) occurs several times in a conjunction, just one occurrence can be left. If two opposite literals (x and x') occur in a conjunction, the whole conjunction is always false and can be removed.

    Finally, what you do when not all variables occur in a conjunction depends on the definition of the DNF. According to Wikipedia, DNF that requires variables to appear exactly once in every clause is called full DNF. If you need that, use the fact that x1 = x and 1 = x + x'. So, e.g., ac = a1c = a(b + b')c = abc + ab'c.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. disjunctive normal form question
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: November 7th 2011, 12:22 AM
  2. disjunctive normal form
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: May 8th 2010, 11:12 AM
  3. Disjunctive Normal Form
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: October 15th 2009, 08:03 PM
  4. Disjunctive Normal form
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: June 11th 2007, 06:03 PM
  5. Disjunctive Normal Form
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: February 23rd 2007, 02:03 PM

Search Tags


/mathhelpforum @mathhelpforum