2.1 逻辑基础(中).pptVIP

（*） 2.3 逻辑代数的基本运算规则 或运算规则: 0+0=0 ，0+1=1 ，1+0=1，1+1=1 与运算规则: 0?0=0 0?1=0 1?0=0 1?1=1 非运算规则: （*） 2.3.1 逻辑代数的运算规律 一、交换律 二、结合律 三、分配律 A+B=B+A A? B=B ? A A+(B+C)=(A+B)+C=(A+C)+B A? (B ? C)=(A ? B) ? C A(B+C)=A ? B+A ? C A+B ? C=(A+B)(A+C) （*） 求证: （分配律第2条） A+BC=(A+B)(A+C) 证明: 右边 =(A+B)(A+C) =AA+AB+AC+BC ; 分配律 =A +A(B+C)+BC ; 结合律 , AA=A =A(1+B+C)+BC ; 结合律 =A ? 1+BC ; 1+B+C=1 =A+BC ; A ? 1=1 =左边 （*） 四、吸收规则 1.原变量的吸收： A+AB=A 证明： A+AB=A(1+B)=A?1=A 利用运算规则可以对逻辑式进行化简。 例如： 被吸收 吸收是指吸收多余（冗余）项，多余（冗余）因子被取消、去掉 ? 被消化了。 长中含短，留下短。 （*） 2.反变量的吸收： 证明： 例如： 被吸收 长中含