Boolean Algebra and Proofs

Math and Physics Programming

Started by Alatar February 24, 2012 03:42 AM

0 comments, last by TheUnbeliever 12 years, 1 month ago

303

Author

February 24, 2012 03:42 AM

Hi everyone,

Does anyone have a link to a good intro to boolean algebra? I'm trying to do my homework, and my notes and the professor's powerpoints don't work. Our textbook is no help either. I'm trying to solve problems like:

(A+B).(A+ !B) = A
A.(A + B) = A
A.(A +!A.B) = A
A + A . B = A+B

We are expected to prove them analytically using Boolean algebra laws. The ones with ! are supposed to have a bar above them according to my professor, but the ! (not) means the same thing.

If someone has a good link, or could help me with this, I would really appreciate it.

Thanks

"All you have to decide is what to do with the time that is given to you." - Gandalf

TheUnbeliever

963

February 24, 2012 04:48 AM

Just memorizing the properties (e.g. distributivity, and which are pretty intuitive) and de Morgan's seems sufficient. Using your notation: (A+B).(A+!B) = A.(A+!B) + B.(A+!B) = A.A + A.!B + B.A + B.!B = A + A.!B + A.B = A.(B+!B) = A

[TheUnbeliever]