Simplifying equations using boolean algebra

  1. 1. Simplify the following equations using boolean algebra

    2. a) abc + ab'c'+ ab'c

    b) (abc)'+(a+c)'+b'c'

    3. Please help me to solve the above equations
  2. jcsd
  3. mjsd

    mjsd 860
    Homework Helper

    pls first clarify your notations.
    I suspect abc means a AND b AND c?
    a+b means a OR b?
    a' means NOT a?

    now: what standard identities do u know?
  4. reply

    ya. I could not use the complement notation while posting the query. I know all the standard notations. In second problem first i used sop and pos rules but got stuck up on next step. So please if u can help me in that.
  5. mjsd

    mjsd 860
    Homework Helper

    sop? pos?
    what's that? anyway,

    have u tried playing around using the standard axioms:
    eg. associativity, commutativity, distributivity, De Morgan's Law, idempotence...etc.

    for example:
    a.a = a, a+a=a, (a.b).c = a.(b.c), a+b =b+a, a.(b+c)=a.b+a.c, a+(b.c)=(a+b).(a+c)
    a+a'=1, a.a'=0
  6. reply

    sop-sum of product rule
    and pos means product of sum rule.

    Ya i tried.
  7. mjsd

    mjsd 860
    Homework Helper

    try reversing the distributive law to gather "common factor"
    repeat use of axioms etc. it is a bit of a trial and error process, unless you can see something in advance (which comes with experience only). But you can always check, at each step, that you have not make an error by checking the truth table for both the original and derived expression.
    another hint, sometimes it may even be useful to "add terms" into your expression

    of course, sometimes it may be difficult to tell whether you have reduced your expression as simple as possible.
  8. mjsd

    mjsd 860
    Homework Helper

    another hint:
    x.y + y = y
    x.y+y = (x+1).y = (1).y = y
  9. reply

    I tried solving the first pb:

    =abc+a(b'+c')+ab'c (Product of Sum rule)
    =abc+ac'+ab' (1+c=1)
    =abc+ab'c' (Sum of Product rule)

    Just check if the solution is correct
  10. mjsd

    mjsd 860
    Homework Helper

    ?? b'c' => b'+c' ?

    is it b'c' or (b.c)' ?

    you can always check answer by simply writing out the truth table for the original expression and then compare with the one for the new expression.
  11. Oh ya u r correct.
    that's y i told u to check.
Know someone interested in this topic? Share a link to this question via email, Google+, Twitter, or Facebook

Have something to add?