1
$\begingroup$

Can this Boolean expression:

$A*\overline{A*B}$

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?

  • 0
    A more general comment: If you work with small boolean expressions (<4 variables) a truth-table for both expressions can always determine equivalence.2012-01-05

1 Answers 1

1

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'.

  • 0
    you're kidding! How did I not see that??, I apologise for wasting your time :)2012-01-04