如何使用Python编写代码来构建并打印出公式(p→q) ∧ (q→r)的真值表，并计算其主合取范式？

在Python中，你可以使用pandas库来构建真值表，并结合numpy处理逻辑运算。首先，你需要定义变量p、q和r的取值，然后通过列表推导式生成所有可能的组合，再计算表达式的真值并存储在一个二维数组中。最后，可以利用布尔运算符计算主合取范数（Conjunctive Normal Form，CNF）。

以下是简单的步骤：

import pandas as pd

# 定义变量及其取值（这里只有True和False）
variables = ['p', 'q', 'r']
values = [False, True]

# 生成所有可能性的列表
combinations = [(x, y, z) for x in values for y in values for z in values]

# 定义公式 p->q 和 q->r 的逻辑运算函数
def implication(a, b):
    return not a or b

# 计算表达式的真值表
truth_table = [[implication(x, y), implication(y, z)] for x, y, z in combinations]
column_names = ['(p->q)', '(q->r)']

# 创建DataFrame并打印
df = pd.DataFrame(truth_table, columns=column_names)
print(df)

# 主合取范式通常涉及将蕴含式转换为AND和OR的组合，如果原公式已经是这种形式，则不需要进一步操作
cnf = df.values.tolist()
print("主合取范式:", cnf)