Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Can this Boolean expression:


be expanded to give:

$$A*\overline{A} * A*\overline{B}$$

Although that appears to reduce to zero?

I know $A(\overline{A+B})$ can be expanded to give: $A*A + A*\overline{B}$

So can it work with an AND? How else do you simplify the first expression?

share|cite|improve this question
To put it over multiple characters, you can use \overline{} instead of \bar{}: $w+\overline{x+y}+z$. – Michael Hardy Jan 5 '12 at 3:05
A more general comment: If you work with small boolean expressions (<4 variables) a truth-table for both expressions can always determine equivalence. – chazisop Jan 5 '12 at 16:20
up vote 1 down vote accepted

No. By De Morgan's laws, $$(A * B)' = A' + B'.$$ So, $A*(A*B)'$ can be expanded to give $$A*(A'+B') = A*A' + A*B' = \mathsf{F} + A*B' = A*B'.$$

share|cite|improve this answer
you're kidding! How did I not see that??, I apologise for wasting your time :) – Jonathan. Jan 4 '12 at 23:39

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.