可以使用C、C++或者Python等程序设计语言实现 1 命题逻辑: 给定任何合式公式，编程构造其真值表，加深对否定、合取、析取、蕴含、等价联结词的理解，熟练掌握用计算机语言实现逻辑运算的方法。写出Python代码

命题逻辑是一种基础的逻辑系统，它使用布尔代数的概念来表达命题（陈述）之间的关系。在编程中，我们可以利用这些概念来构建真值表，这有助于理解诸如"非"（NOT）、"与"（AND）、"或"（OR）、"如果...那么..."（IMPLICATION，也称蕴含）以及"等价"（EQUALITY）这样的操作。

以下是一个简单的Python代码示例，用于创建一个函数，生成并打印一个命题逻辑公式的真值表：

def create_truth_table(formula):
    operators = ['!', '&&', '||', '->']
    variables = formula.split()
    truth_values = [(True, False), (False, True)]  # 二进制的真值对

    def evaluate(formula, assignment):
        if len(formula) == 1 and formula[0] in variables:
            return assignment[variables.index(formula[0])]
        elif formula[0] in operators:
            op = {'!': lambda x: not x, '&&': lambda x, y: x and y,
                  '||': lambda x, y: x or y, '->': lambda x, y: not x or y}[formula[0]]
            args = [evaluate(f, assignment) for f in formula[1:]]
            return op(*args)
        else:
            raise ValueError("Invalid formula")

    assignments = list(itertools.product(*truth_values))
    for assignment in assignments:
        print(f"{assignment} : {evaluate(formula, dict(zip(variables, assignment)))}")

# 使用示例
formula = "A && (!B) || C -> D"
create_truth_table(formula)

这个脚本会根据给定的公式生成所有变量的可能赋值，并计算出每个赋值组合对应的公式真假值。你可以将`formula`变量替换为你想要分析的不同命题逻辑公式。