如何实现可根据命题逻辑公式生成对应真值表的程序？

核心实现步骤 #

• 第一步：提取公式中的所有命题变元
  遍历输入的公式字符串，把所有符合规则的命题变元（默认可设为单个大写字母）提取出来，去重后排序。比如示例公式((¬A ∧ B) ∨ C) ∧ A提取后得到[A, B, C]，变元数量为n时，对应的取值组合总共有2ⁿ种。
• 第二步：处理输入的逻辑公式为可计算格式
  有两种常见实现方案：
  1. 中缀转后缀（逆波兰表达式）：先定义运算符优先级¬（非）> ∧（与）> ∨（或）> 括号，用栈结构完成转换，后续可直接用栈求值，性能高且安全。
  2. 快速实现方案：直接把逻辑符号替换为对应编程语言的内置运算符，比如¬替换为not 、∧替换为and、∨替换为or，生成可直接执行的表达式字符串。
• 第三步：遍历所有变元取值组合
  可以直接把0到2ⁿ-1的所有整数转换为n位二进制数，每一位对应一个变元的取值（0为假、1为真）；也可以用编程语言自带的排列组合工具生成所有取值组合。比如n=3时，数字5转二进制是101，对应A=1、B=0、C=1。
• 第四步：逐行计算公式真值
  对每一组变元取值，把公式中的变元替换为对应取值后计算结果。如果用的是转后缀的方案，用栈运算即可；如果用的是替换为内置运算符的方案，直接赋值后执行表达式即可得到结果。
• 第五步：格式化输出真值表
  表头按顺序列出所有变元+原公式，每一行输出对应变元取值和计算得到的公式结果即可。

简易Python实现示例 #

import itertools
import re

def generate_truth_table(formula):
    # 提取所有命题变元
    variables = sorted(list(set(re.findall(r'[A-Z]', formula))))
    var_count = len(variables)
    # 替换逻辑符号为Python原生运算符
    exec_formula = formula.replace('¬', ' not ').replace('∧', ' and ').replace('∨', ' or ')
    # 输出表头
    header = ' | '.join(variables + [formula])
    print(header)
    print('-' * len(header))
    # 遍历所有取值组合并计算
    for values in itertools.product([0, 1], repeat=var_count):
        var_map = dict(zip(variables, values))
        result = eval(exec_formula, {}, var_map)
        # 输出当前行结果
        print(' | '.join(str(v) for v in values) + ' | ' + str(int(result)))

# 测试示例
if __name__ == "__main__":
    test_formula = "((¬A ∧ B) ∨ C) ∧ A"
    generate_truth_table(test_formula)

运行上述代码即可得到你给出的示例公式的真值表，只有A=1、B=0、C=1和A=1、B=1、C=1两种情况结果为1，其余情况结果均为0。

注意事项 #

• 个人工具使用可以直接用上述eval的快速实现方案，如果是公开服务需要自己实现表达式解析求值逻辑，避免eval带来的代码注入风险。
• 上线前需要补充输入合法性校验，包括括号匹配校验、非法字符校验、运算符格式校验等，避免运行时报错。

内容的提问来源于stack exchange，提问作者Simone Tarenzi