Results 1 to 4 of 4

Math Help - Simplifying a term

  1. #1
    Newbie
    Joined
    Oct 2009
    Posts
    2

    Simplifying a term

    Hello,

    Can anyone help me simplifying this term?

    a AND (a xor b)

    I know that I can write it like this:

    (a AND not b) OR (not a AND b)

    But how to simplify further? Would be grateful for any help. Thanks!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    Oct 2006
    Posts
    71
    Quote Originally Posted by shadow147 View Post
    Hello,

    Can anyone help me simplifying this term?

    a AND (a xor b)

    I know that I can write it like this:

    (a AND not b) OR (not a AND b)

    But how to simplify further? Would be grateful for any help. Thanks!

    (a AND not b) OR (not a AND b)

    This is just equivalent to (a xor b), not the initial formula.
    But, it turns out that all you need is the left disjunct.
    That's the (perfect) disjunctive normal form for the initial formula.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Super Member

    Joined
    May 2006
    From
    Lexington, MA (USA)
    Posts
    11,825
    Thanks
    714
    Hello, shadow147!

    I'll let you supply some of the reasons . . .


    Simplify: .a AND (a XOR b)

    . . \begin{array}{ccc}a \cap \bigg[(a \cap b') \cup (a' \cap b)\bigg] & & \text{Given} \\ \\ \bigg[ a\cap (a \cap b')\bigg] \cup \bigg[a \cap(a'\cap b)\bigg] && \text{Distributive} \\ \\ \bigg[(a\cap a) \cap b'\bigg] \cup \bigg[(a\cap a') \cap b\bigg] & & \text{Associative}\end{array}

    . . . . . \begin{array}{c}(a\cap b') \cup (f \cap b)  \\ \\(a \cap b') \cup f \\ \\ a \cap b' \end{array}

    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Oct 2009
    Posts
    2
    Awesome, much appreciated, thank you!
    Just one question:

    <br />
a\cap a'<br />

    Thats = 0 isn't it? Why did you replace it with f? And at the end you got

    <br />
a\cap b' \cup f <br />

    Why is it possible to ignore the f and say that

    <br />
(a\cap b')<br />

    is the result?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Integration term by term and orthogonality
    Posted in the Calculus Forum
    Replies: 2
    Last Post: February 23rd 2011, 03:36 PM
  2. Replies: 1
    Last Post: February 19th 2011, 11:21 AM
  3. Power series, term-by-term integration
    Posted in the Calculus Forum
    Replies: 3
    Last Post: April 8th 2010, 02:14 AM
  4. [SOLVED] Ratio of the second term to the first term
    Posted in the Math Topics Forum
    Replies: 4
    Last Post: September 26th 2008, 06:13 AM
  5. simplifying a term
    Posted in the Calculus Forum
    Replies: 1
    Last Post: April 29th 2007, 10:24 PM

Search Tags


/mathhelpforum @mathhelpforum