weixin_64177791的博客

原创 离散数学大作业

1.作业要求 2.题目选择 命题公式的真值表 用户输入一个命题公式，输出该公式对应的真值表。 例如:输入(p ∨ q) → ¬r，输出: 题目描述 关于为什么选择了这个题目，最后会提到 。 3.所需解决的关键问题 4.代码 使用Python完成 注释已经给出。 import itertools from tabulate import tabulate # 导入 tabulate 用于美化表格格式 # 处理蕴含操作的函数 def handle_imp