该文描述了一种算法，用于处理命题公式，包括生成任意命题公式的真值表，计算主合取范式和主析取范式，以及判断两个命题公式是否等价。算法基于算符优先原则，使用两个栈来存储运算符和操作数，实现了对复杂命题逻辑的高效计算。
（1）求任意一个命题公式的真值表。
（2）利用真值表求任意一个命题公式的主范式。
（3）判断两个命题公式是否等值。
算法的主要思想
利用计算机求命题公式真值表的关键是：①给出命题变元的每一组赋值；②计算命题公式在每一组赋值下的真值。
真值表中命题变元的取值具有如下规律：每列中0和1是交替出现的，且0和1连续出现的个数相同。n个命题变元的每组赋值的生成算法可基于这种思想。
含有n个命题变元的命题公式的真值的计算采用的方法为“算符优先法”。
为了程序实现的方便，约定命题变元只用一个字母表示，非、合取、析取、条件和双条件联结词分别用！、&、|、－、＋来表示。
算符之间的优先关系如表1-1所示：
表1-1 算符优先级
| ＋ － | & ! （ ） @ |
|
| ＋ － | & ! （ ） @ |
＞ ＜ ＜ ＜ ＜ ＜ ＞ ＞ ＞ ＞ ＜ ＜ ＜ &n |
扫一扫
1万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
