表达式 !A + (A . !B) = !(A.B) 如何？

【问题标题】：How the expression !A + (A . !B) = !(A.B)?表达式 !A + (A . !B) = !(A.B) 如何？
【发布时间】：2020-04-21 09:24:33
【问题描述】：

我有一个表达式!A+(A.!B)，在表达式求解器上，它给出了!A+(A.!B) = !(A.B)?。求解器通知“应用吸收定律”A.B+!A = B+!A。

我已经为这两个表达式制作了真值表，答案是正确的。但问题是我无法理解吸收法则是如何实现到我的表达!A+(A.!B)的？

有人可以详细解释一下吸收法是如何应用于我的表达的吗？

【问题讨论】：

标签： boolean-logic boolean-expression boolean-algebra

【解决方案1】：

我将假设 + = OR、. = AND 和 ! = NOT。

在第一步就应用了吸收定律：

  !A + A.!B
= !A + !B     (if the first monomial does not hold, A is "true"
               and thus does not need to be checked again)
= !(A.B)      (De Morgan's rule)

【讨论】：

你能解释一下吸收定律是如何用于我的表达的吗？
其实我已经明白了，只是说给别人参考
@MKJ 我更新了答案直接提吸收法了。