用python写一个代码可以个根据给定公式输出其主析取范式

在Python中，要将布尔表达式转换为主析取范式（Conjunctive Normal Form, CNF），通常我们会使用代数逻辑的方法。这里我们先假设有一个简单的函数用于处理布尔变量和运算符。请注意，对于复杂表达式的转换，可能需要借助第三方库如pysmt，但这超出了基础的字符串操作范围。下面是一个简单的示例，仅适用于基本的逻辑运算和字母表示：

def simplify(expr):
    def to_cnf(expr):
        # 这里只是一个简化版本，实际实现会更复杂
        # 只支持 'and', 'or', 'not'
        if expr.startswith('not '):
            return ['not'] + to_cnf(expr[4:])
        elif ' and ' in expr:
            left, right = expr.split(' and ')
            return to_cnf(left) + ['and'] + to_cnf(right)
        elif ' or ' in expr:
            left, right = expr.split(' or ')
            return to_cnf(left) + ['or'] + to_cnf(right)
        else:  # 假设是单个原子项（变量）
            return [expr]

    atoms = set()
    for term in to_cnf(expr.strip()):
        if term not in atoms:
            atoms.add(term)

    return [' '.join(atoms)]  # 将结果转换回字符串

# 使用示例
formula = input("请输入布尔表达式（例如 A and (B or C)）:")
cnf_form = simplify(formula)
print(f"原始表达式：{formula}")
print(f"主析取范式：{cnf_form}")

#