并项法： AB + AB' = A两项合并为一项，消去B与B' 吸收法： A + AB = A短项吸收长项 消项法： AB+ A'C + ...