Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Boolean Reductions problem

  1. Dec 11, 2004 #1
    Ive been working on this problem for hours and its due on monday i really need help :bugeye: !!!!!!!!!

    heres the boolean reduction i have to do
    [tex](ab)[/tex][tex]([/tex][tex]\overline c[/tex][tex]+[/tex][tex]\overline d[/tex][tex])[/tex][tex]+[/tex][tex](a+b)[/tex][tex]([/tex][tex]\overline c[/tex][tex]\overline d[/tex][tex])[/tex]

    heres what ive done
    ***_******_ _**_ _
    ***_***_ _
    AB(C+D)+C D (A+B)

    i have no idea where to go from there...thanks for you help

    the stars are just to keep the bars over top of the correct letter so you know which ones are inverted

    Last edited: Dec 11, 2004
  2. jcsd
  3. Dec 11, 2004 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    I am a bit confused by your symbology.

    I assume + equal to AND , the bar should be NOT but what is meant by AB?

    look here to learn how to do this

    [tex] AB \overline {C} [/tex]
  4. Dec 11, 2004 #3


    User Avatar
    Staff Emeritus
    Science Advisor


    AB = A and B
    A+B = A or B.

    That seems to be the archaic form according to various websites. But that is the form that I was familiar with along time ago.
    Last edited: Dec 11, 2004
  5. Dec 11, 2004 #4
    when the numbers are right beside each other they are anded together..and when there is a plus sign it means they are ord...thats the way ive been taught to represent them haha...the bar on top means the input is inverted
  6. Dec 11, 2004 #5
    heres the revised formula haha

    [tex](ab)[/tex][tex]([/tex][tex]\overline c[/tex][tex]+[/tex][tex]\overline d[/tex][tex])[/tex][tex]+[/tex][tex](a+b)[/tex][tex]([/tex][tex]\overline c[/tex][tex]\overline d[/tex][tex])[/tex]
  7. Dec 12, 2004 #6


    User Avatar
    Homework Helper

    [tex]\overline{C} + \overline{D}=\overline{CD}[/tex]

    [tex](A + B)\overline{CD} + (AB)\overline {CD} = \overline{CD}(AB + A +B ) [/tex]

    [tex] A + B + AB = A + B [/tex]

    [tex]AB(\overline{C} + \overline{D}) + (A+B)(\overline{C}\overline{D}) = (A+B)\overline{CD}[/tex]

  8. Dec 12, 2004 #7
    that doesnt work because the cd in brackets doesnt have a whole bar on top of it...it is split in half
  9. Dec 12, 2004 #8


    User Avatar
    Staff Emeritus
    Science Advisor

    Correctly written, original problem should be:
    [tex]AB(\overline{C} + \overline{D}) + (A+B)(\overline{C}\,\overline{D})[/tex]

    What if one lets:





    Then the above original expression becomes

    (WX) + (YZ)




    [tex]\Big({(AB)+(A+B)}\Big) \Big({\overline{C}+\overline{D}+A+B}\Big)\Big({AB\overline{C}\,\overline{D}}\Big)\Big(({\overline{C}+\overline{D})\overline{C}\,\overline{D}}\Big)[/tex]

    then make use of commutative and associative properties and

    a(a+b) = a+(ab) = a

    so for example

    (AB)+(A+B) = ((AB)+A)+B = A+B

    You'll need to do a sanity check on the intermedate relationships (W, X, Y, Z). It's been awhile since I have done this.
  10. Dec 12, 2004 #9
    i have no idea what you are doing there...there has to be a way to do it without having to replace the variables and just using the boolean rules i think
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook