常用公式
证明
俩个项相加,一项是另外一项的因子,则另外一项是多余的,可以去掉,简称,吸收项。
一项取反后,是另外一项的因子,改因子是多余的。
乘积项相加,用存在正反变量,其他变量相同,可以将相同的变量提取出来。
变量A与包含变量A的或项相与,结果还是变量A,即将或项去掉。
若两乘积项包含A 非A俩个因子,其余项组成第三项,是多余的。
A与变量非相乘,A为变量,则A可以消去。
A的非与变量的非相乘,A为因子,结果剩下A的非。
总结
证明
俩个项相加,一项是另外一项的因子,则另外一项是多余的,可以去掉,简称,吸收项。
一项取反后,是另外一项的因子,改因子是多余的。
乘积项相加,用存在正反变量,其他变量相同,可以将相同的变量提取出来。
变量A与包含变量A的或项相与,结果还是变量A,即将或项去掉。
若两乘积项包含A 非A俩个因子,其余项组成第三项,是多余的。
A与变量非相乘,A为变量,则A可以消去。
A的非与变量的非相乘,A为因子,结果剩下A的非。
总结