逻辑表达式判别程序：重言式与矛盾式的识别

"重言式的判别是逻辑表达式的一种特性，指的是无论其变量取何值，表达式的结果始终为真。矛盾式则是相反的情况，即无论变量如何取值，结果总是假。这个课程设计的任务是编写一个程序，利用真值表来判断输入的逻辑表达式是重言式、矛盾式还是其他情况。程序需要处理包含'｜'(或)、'＆'(与)和'～'(非)运算符的表达式，考虑括号内的运算优先级，并允许有空格。如果表达式是重言式，输出'TrueForever'；如果是矛盾式，输出'FalseForever'；否则，输出'Satisfactible'及变量名序列，并允许用户输入变量值以计算表达式的真值。课程设计分为多个阶段，包括资料收集、数据结构创建、程序编写和调试，以及最后的报告提交和答辩。主要参考教材包括严蔚敏的数据结构书籍和谭浩强的C语言程序设计。" 在这个课程设计中，学生需要实现以下功能： 1. **解析逻辑表达式**：程序需要能够读取用户输入的逻辑表达式，识别其中的运算符和变量，并处理括号内的运算优先级。 2. **构建真值表**：根据逻辑表达式生成所有可能的变量取值组合，这涉及到对所有变量的2^n种取值（n为变量数量）的遍历。 3. **计算逻辑值**：对于每一种变量取值，计算表达式的逻辑值。这可能需要递归地处理子表达式，直到得到基本的真值（真或假）。 4. **判断表达式类型**：根据真值表的结果，判断表达式是重言式、矛盾式还是可满足的。如果所有行的值都是真，那么是重言式；如果所有行的值都是假，那么是矛盾式；否则，是可满足的。 5. **用户交互**：在表达式是可满足的时，程序应允许用户输入特定的变量值，然后计算并显示逻辑表达式的值。 这个任务旨在帮助学生巩固数据结构的知识，特别是理解如何选择合适的数据结构来解决问题，以及如何设计和实现算法。通过这个过程，学生可以提高编程技能，特别是在逻辑运算和表达式解析方面。参考文献提供了必要的理论基础和编程指导，以支持课程设计的完成。