利用等值演算法求命题公式
的主析取范式。
【正确答案】：
【题目解析】：
求命题公式的主析取范式可用等值演算法和真值表法。本题中要求用等值演算法求。其具体步骤包括：① 化归为析取范式。② 除去析取范式中所有永假的简单合取式。③ 在简单析取式中，将重复出现的合取项和相同变元合并。④ 在简单析取式中补入没有出现的命题变元，即添加
，再用分配律展开，最后合并相同的小项。同一公式的主析取范式中m的下标和主合取范式中M的下标是互补的。因此，知道了主析(合)取范式就可以写出主合(析)取范式。如果其主合取范式比较容易求得，也可以利用主合取范式与主析取范式之间的关系，直接写出其主析取范式。