python表示：输入含三个以内变量的合式公式，输出真值表及主析取范式和主合取范式，不使用logic和pyeda等库

在Python中，如果你想要手动构建一个简单的函数来表示含有三个以内变量的布尔逻辑合式公式，并生成真值表、主析取范式（Conjunctive Normal Form, CNF）以及主合取范式（Disjunctive Normal Form, DNF），可以利用嵌套循环的方式来遍历所有可能的变量组合，并计算每个组合的结果。这里是一个基础的示例：

def to_cnf_and_dnf(formula):
    variables = sorted(set(formula))  # 获取所有不同变量并排序
    n_variables = len(variables)
    
    def truth_table(formula):
        tt = [['', *variables], [str(int(b)) for b in range(2**n_variables)]]
        for assignment in tt[1]:
            result = eval(formula.replace('True', '1').replace('False', '0'), {}, {'True': True, 'False': False, **{v: int(a) for v, a in zip(variables, assignment)}})
            tt.append([assignment, ' '.join(map(str, assignment)), str(result)])
        return tt
    
    def cnf(formula):
        # 这里只是一个简化的转换，实际可能需要更复杂的算法，比如Karnaugh Maps
        formula_cnf = []
        return formula_cnf
    
    def dnf(formula):
        # 主合取范式通常通过析取范数的补集获得，同样简化处理
        formula_dnf = []
        return formula_dnf
    
    print("真值表:")
    print(truth_table(formula))
    print("\n主析取范式 (CNF):")
    print(cnf(formula))
    print("\n主合取范式 (DNF):")
    print(dnf(formula))

# 使用示例，假设有一个简单的公式"A and B or C"
formula = "A and B or C"
to_cnf_and_dnf(formula)

请注意，这个例子非常基础，对于复杂公式的转换，尤其是涉及到布尔代数和公式优化的高级操作，上述代码可能无法提供精确的结果，因为它们并未涵盖所有逻辑运算符的优先级处理和有效的化简算法。实际应用中，你可能会选择使用专门的逻辑库如`logic`或`pyeda`来进行更为复杂的操作。