判别定理一的证明(续) ∧bv(b∧cyV(c I(abb)∧(ab)vc)v(cAa)(分配律) =[∧(vc)( bvdv(cAa) (吸收、分配律) =(b∧vcv(ca) (吸收律) (bvc)∧(bva)∧(acvc)∧(acva)(分配律) (NVb)∧(bve)(cva) (交换、幂等律)8 “⇒” (a∧b)∨(b∧c)∨(c∧a) = [((a∧b)∨b)∧((a∧b)∨c)]∨(c∧a) (分配律) = [b∧(a∨c)∧(b∨c)]∨(c∧a) (吸收、分配律) = (b∧(a∨c))∨(c∧a) (吸收律) = (b∨c)∧(b∨a)∧(a∨c∨c)∧(a∨c∨a) (分配律) = (a∨b)∧(b∨c)∧(c∨a) (交换、幂等律) 判别定理一的证明（续）