合取消去规则.合取消去规则（∧-）（Conjunction elimination rule）或联言推理的分解式，是另一个在经典逻辑中简单且有效的论证形式。从任何合取式中都可以直观地推论出两个前提中的任意一个。其形式如下：...或者，用逻辑运算符描述为，形式化为:或者,例如:或者另一个例子如下：或者还有一个例子如下：或者
性质.逻辑与满足以下性质：如果用二进制来表达真（1）和假（0），逻辑与运算与算术乘法运算一致。