Python -将列表数据类型输出到CNF

from sympy.logic.boolalg import Or, And
from sympy.abc import A, B, C

def list_to_cnf(lst):
    clauses = []
    for item in lst:
        literals = []
        for i in item:
            if i < 0:
                literals.append(~locals()[chr(abs(i) + 64)])
            else:
                literals.append(locals()[chr(i + 64)])
        clauses.append(Or(*literals))
    return And(*clauses)

# 示例列表
lst = [[1, 2, -3], [-1, 2, 3], [1, -2, 3]]

# 转化为CNF
cnf = list_to_cnf(lst)

print(cnf)

(Or(A, B, Not(C))) & (Or(Not(A), B, C)) & (Or(A, Not(B), C))