I don't know of any other website/forum where I could post it. I guess you can post anything here excluding homework. So here goes:

A.B + A.B'.C.D + A'.C.D = A.B + C.D

I use A' to denote negation of A (or A bar). I can work it out using a Karnaugh Map, but not using the basic properties of Boolean Algebra. Can you help?

"Do not expect LQ members to do your homework - you will learn much more by doing it yourself." -

http://www.linuxquestions.org/rules.php
This is not homework I just stumbled upon it while doing BDDs. I converted AB+CD to a ROBDD and when I convert it back to Boolean equation this is what I get A.B+A.B'.C.D+A'.C.D