您如何解决这个小的布尔代数问题？

Question

布尔代数：

a + ~a.b

据我所知：

= a + ~a.b + a.~a
= a + ~a(b + a)

我知道答案是a + b，但我似乎无法证明这一点。

如果有人能证明这一点，我将不胜感激。

Answer 1

解决此问题的方法是将其分解。

I prefer to use  & and | and !.

1.  A & (!A | B)

2.  (A & !A) | (A & B)   Distributive property

3.  0 | (A & B)          (A & !A) just like True and False can never be True

4.  A & B

您可能还想看看De Morgan's Laws

Answer 2

轻松实现此目的的一种方法是：

= a + ~a.b
= a.(1+b) + ~a.b
= a + a.b + ~a.b
= a+ b.(a + ~a)
= a + b

谢谢！