How can I prove that A or ((not A) and B) is equivalent to A or B?

1k Views Asked by At

I tried AND'ing the leftmost A with itself to keep the expression balanced, but then I wasn't able to put A and (not A) in evidence. I was also trying to apply De Morgan's Theorem, but I cannot AND the leftmost A with (not B).

1

There are 1 best solutions below

0
On BEST ANSWER

$$A+(\overline A\cdot B)\\≡(A+\overline A)\cdot(A+B)\\≡1\cdot(A+B)\\≡(A+B)\cdot1\\≡A+B$$

The laws applied, in order:
distributive law
complement law
commutative law
identity law.