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).
2026-04-13 00:49:16.1776041356
How can I prove that A or ((not A) and B) is equivalent to A or B?
1k Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
$$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.