命题公式真值表程序设计

命题公式真值表是一种逻辑学和计算机科学中的工具，用于展示给定命题逻辑公式的所有可能输入（通常用真和假表示）及其相应的输出结果（即该公式是否为真）。这种表格通常包含所有变量的所有可能取值组合，以及每个变量组合下整个公式的结果。

程序设计中，你可以编写一个简单的真值表程序，通常是这样的步骤：
1. 定义输入变量的数量和类型（比如布尔变量true/false）。
2. 创建一个二维数组或列表，其中每一行代表一个变量组合。
3. 遍历所有变量的可能值，对每个组合计算命题公式的值。
4. 输出每行变量的值和对应的公式结果。

例如，在Python中，可以这样设计：

def create_truth_table(formula):
    variables = ['p', 'q']  # 假设有两个变量
    values = [True, False] * len(variables)  # 创造所有可能的变量组合

    for row in itertools.product(values, repeat=len(variables)):
        assignment = {var: val for var, val in zip(variables, row)}
        result = eval(formula, {}, assignment)  # 使用eval函数评估逻辑表达式
        print(f"{assignment}: {result}")

# 示例使用
create_truth_table("(p ∧ q)")