简化布尔代数

Question

我试图证明BC + !A!B + !A!C = ABC +!A

我一直在使用德摩根的法律尝试，而代X for !A!B和Y for !A!C，但是我在这个没有取得进展。

我已经试过了A的样子，!A(!B+!C)，但是我再也找不到任何地方，如果有人能指点我的方向，帮我解决，给我一个可以做到的工具等等。 。我会很感激。

Answer 1

BC + !A!B + !A!C 
= BC + !A(!B + !C)   distributive law 
= BC + !A!(BC)    De Morgan's law 
= (A + !A)BC + !A!(BC)  identity and x OR !x = true 
= A(BC) + !A(BC) + !A!(BC) distributive law 
= ABC + !A((BC) + !(BC)) distributive law 
= ABC + !A     x OR !x = true and identity