1.基本定理的验证 代码如下： from sympy import * A, B, C = symbols('A B C') # 重叠律 # A·A=A A+A=A print(to_cnf(A | A)) print(to_cnf(A & A)) # 结合律 print(to_cnf(~(A |