逻辑代数的基本定理

逻辑代数的基本定理
逻辑代数的基本定理是应用划归逻辑表达式的关键。

吸收律
A + AB = A
A + !AB = A + B
AB + A!B = A
(A + B)(A + !B) = A
反演律
!(A + B) = !A !B
!(AB) = !A + !B
包含律(多余项定理)
AB + !AC + BC = AB + !AC
(A + B)(!A + C)(B + C) = (A + B)(!A + C)