怎么表达!A + (A . !B) = !(A.B)?

How the expression !A + (A . !B) = !(A.B)?

我有一个表达式 !A+(A.!B),在表达式求解器上,它给出了 !A+(A.!B) = !(A.B)?。 求解器通知 "Apply the Absorption Law" A.B+!A = B+!A.

我已经为两个表达式制作了真值表,答案是正确的。但问题是我不明白吸收定律是如何应用到我的表达式中的 !A+(A.!B)?

谁能详细解释一下吸收定律是如何应用到我的表达式中的?

我假设 + = 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)