利用Python根据真值表验证逻辑表达式的正确性.zip

简介：
本项目提供了一个使用Python编写的工具，用于通过输入真值表来验证给定逻辑表达式是否准确无误。它可以帮助学习者和开发者更好地理解和测试布尔代数中的各种逻辑关系。 ### 问题描述 一个逻辑表达式如果对于其变元的任一种取值都为真，则称为重言式；反之，若对于所有可能的输入都是假的话则称为矛盾式。然而，在大多数情况下，它既不是重言式也不是矛盾式。 编写程序来通过构建真值表判断给定逻辑表达式的类型（即是否是重言式、矛盾式或可满足性）。 ### 需求分析 1. **输入格式**： - 从终端接收一个长度不超过一行的字符串作为逻辑表达式。 - 允许使用“|”、“&”和“~”，分别表示或（OR）、与（AND）及否定运算符（NOT）。其中，优先级依次递增。可以利用括号来改变默认计算顺序。 - 逻辑变元由大写字母构成，并且在表达式中的任何位置允许存在空格。 2. **输出格式**： - 若输入的逻辑表达式是重言式，则显示“True forever”；若是矛盾式， 则显示 “False forever”。对于既不是重言也不是矛盾的情况则输出 Satisfactible。 - 用户可以设定变元的具体值，程序将计算并展示该条件下逻辑表达式的真值。同时给出完整的真值表。 3. **运算规则**： a) 按从左到右的顺序进行解析和计算； b) 先执行否定操作，然后是与(AND)，最后为“或”(OR); c) 计算时优先处理括号内的表达式。