别再死记硬背了！用Python代码玩转离散数学的命题逻辑（附真值表生成器）
用Python代码玩转离散数学的命题逻辑：从真值表到范式生成
离散数学中的命题逻辑常常让初学者感到抽象难懂，但通过Python编程，我们可以将这些概念可视化、可操作化。本文将带你用代码实现命题逻辑的核心功能，包括真值表生成、逻辑等价验证、范式转换等，让数学学习变得生动有趣。
1. 命题逻辑基础与Python表示
命题逻辑是计算机科学的基础，它研究由命题和逻辑联结词构成的复合命题的逻辑关系。在Python中，我们可以用多种方式表示命题和逻辑运算。
首先，让我们定义命题变量和基本逻辑运算：
class Proposition: def __init__(self, symbol, value=None): self.symbol = symbol # 命题符号，如'p'、'q' self.value = value # 真值，True或False def evaluate(self): return self.value def __str__(self): return self.symbol # 基本逻辑运算实现 def logical_and(p, q): return p.evaluate() and q.evaluate() def logical_or(p, q): return p.evaluate() or q.evaluate() def logical_not(p): return not p.evaluate() def logical_implies(p, q): return (not p.evaluate()) or q.evaluate() def logical_iff(p, q): return logical_implies(p, q) and logical_implies(q, p)这种面向对象的表示方法让我们可以更直观地处理命题逻辑。例如，我们可以这样创建命题并进行运算：
p = Proposition('p', True) q = Proposition('q', False) print(f"p ∧ q = {logical_and(p, q)}") # False print(f"p ∨ q = {logical_or(p, q)}") # True print(f"¬p = {logical_not(p)}") # False2. 自动生成真值表：可视化逻辑关系
真值表是理解命题逻辑的重要工具，它展示了命题在所有可能真值组合下的结果。我们可以编写一个通用的真值表生成函数：
from itertools import product def generate_truth_table(variables, expression): """ 生成真值表 :param variables: 命题变量列表，如['p', 'q'] :param expression: 逻辑表达式函数，接受一个字典参数（变量名到真值的映射） :return: 真值表（列表形式） """ num_vars = len(variables) truth_table = [] # 生成所有可能的真值组合 for values in product([False, True], repeat=num_vars): assignment = dict(zip(variables, values)) result = expression(assignment) truth_table.append((*values, result)) return truth_table # 示例：生成p ∧ q的真值表 variables = ['p', 'q'] expression = lambda a: a['p'] and a['q'] table = generate_truth_table(variables, expression) # 打印真值表 print("p\tq\tp ∧ q") print("-"*20) for row in table: print("\t".join(str(int(x)) for x in row))输出结果：
p q p ∧ q ---------------- 0 0 0 0 1 0 1 0 0 1 1 1对于更复杂的表达式，比如验证德摩根律，我们可以这样使用：
# 验证德摩根律：¬(p ∨ q) ⇔ ¬p ∧ ¬q variables = ['p', 'q'] expr1 = lambda a: not (a['p'] or a['q']) # ¬(p ∨ q) expr2 = lambda a: (not a['p']) and (not a['q']) # ¬p ∧ ¬q table1 = generate_truth_table(variables, expr1) table2 = generate_truth_table(variables, expr2) # 检查两个表达式在所有情况下的结果是否相同 print(all(row1[-1] == row2[-1] for row1, row2 in zip(table1, table2))) # 输出True3. 使用SymPy库进行高级逻辑运算
虽然我们可以自己实现这些功能，但使用专门的库如SymPy会更高效。SymPy是一个符号计算Python库，内置了命题逻辑模块：
from sympy import symbols from sympy.logic.boolalg import And, Or, Not, Implies, Equivalent from sympy.logic import simplify_logic from sympy.logic.inference import satisfiable # 定义命题变量 p, q, r = symbols('p q r') # 构建逻辑表达式 expr1 = Implies(p, q) expr2 = Or(Not(p), q) expr3 = Equivalent(expr1, expr2) # 简化表达式 simplified = simplify_logic(expr3) print(simplified) # 输出True，说明expr1和expr2逻辑等价 # 检查可满足性 expr4 = And(p, Or(q, Not(r)), Implies(q, p)) print(satisfiable(expr4)) # 输出{p: True, q: True, r: False}等可能的解SymPy还提供了将表达式转换为范式的方法：
from sympy.logic.boolalg import to_cnf, to_dnf expr = Implies(p, q) cnf_expr = to_cnf(expr) # 转换为合取范式 dnf_expr = to_dnf(expr) # 转换为析取范式 print(f"原始表达式: {expr}") print(f"合取范式: {cnf_expr}") # ¬p ∨ q print(f"析取范式: {dnf_expr}") # ¬p ∨ q4. 构建命题逻辑工具箱
让我们将这些功能整合成一个实用的命题逻辑工具箱：
class PropositionalLogicToolkit: def __init__(self): self.variables = {} def add_variable(self, name): """添加命题变量""" self.variables[name] = symbols(name) return self.variables[name] def evaluate_expression(self, expr, assignment): """评估表达式在给定赋值下的真值""" return expr.subs(assignment) def generate_truth_table(self, expr): """生成真值表""" vars_in_expr = list(expr.free_symbols) truth_table = [] for values in product([False, True], repeat=len(vars_in_expr)): assignment = dict(zip(vars_in_expr, values)) result = self.evaluate_expression(expr, assignment) truth_table.append((*values, result)) return truth_table, vars_in_expr def is_tautology(self, expr): """检查是否为永真式""" return simplify_logic(expr) == True def is_contradiction(self, expr): """检查是否为永假式""" return simplify_logic(Not(expr)) == True def to_cnf(self, expr): """转换为合取范式""" return to_cnf(expr) def to_dnf(self, expr): """转换为析取范式""" return to_dnf(expr) def are_equivalent(self, expr1, expr2): """检查两个表达式是否逻辑等价""" return simplify_logic(Equivalent(expr1, expr2)) == True # 使用示例 toolkit = PropositionalLogicToolkit() p = toolkit.add_variable('p') q = toolkit.add_variable('q') expr = Implies(p, q) table, vars = toolkit.generate_truth_table(expr) print("真值表：") print("\t".join(str(v) for v in vars) + "\t结果") print("-"*30) for row in table: print("\t".join(str(int(x)) for x in row))5. 实际应用案例：逻辑谜题求解
让我们用这个工具箱来解决一个经典逻辑谜题：
题目：有三个人A、B、C，其中一个人总是说真话，一个人总是说谎，一个人有时说真话有时说谎。他们说了以下话：
- A说："B是说谎者。"
- B说："C是说谎者。"
- C说："A是说谎者。"
我们需要找出谁是说真话的人。
# 定义命题 A_is_truth_teller = symbols('A_true') # A总是说真话 B_is_truth_teller = symbols('B_true') # B总是说真话 C_is_truth_teller = symbols('C_true') # C总是说真话 # 约束条件：只有一个人总是说真话，一个人总是说谎，一个人不确定 constraint1 = Or( And(A_is_truth_teller, Not(B_is_truth_teller), Not(C_is_truth_teller)), And(B_is_truth_teller, Not(A_is_truth_teller), Not(C_is_truth_teller)), And(C_is_truth_teller, Not(A_is_truth_teller), Not(B_is_truth_teller)) ) # 根据陈述构建逻辑关系 # A说"B是说谎者" ⇔ 如果A说真话，则¬B_is_truth_teller为真；如果A说谎，则¬B_is_truth_teller为假 statement_A = Equivalent(A_is_truth_teller, Not(B_is_truth_teller)) # 同理处理B和C的陈述 statement_B = Equivalent(B_is_truth_teller, Not(C_is_truth_teller)) statement_C = Equivalent(C_is_truth_teller, Not(A_is_truth_teller)) # 组合所有条件 full_expr = And(constraint1, statement_A, statement_B, statement_C) # 寻找满足条件的解 solution = satisfiable(full_expr) print(solution)运行结果会显示唯一满足条件的解是C是说真话的人，A是说谎者，B则是有时说真话有时说谎的人。