利用等值演算法求命题公式
的主析取范式。
【正确答案】:

【题目解析】:
用等值演算法求主析取范式,其具体步骤包括:① 化归为析取范式。② 除去析取范式中所有永假的简单合取式。③ 在简单合取式中,将重复出现的合取项和相同变元合并。④ 在简单合取式中补入没有出现的命题变元,即添加∧(p∨¬p),再用分配律展开,最后合并相同的小项。
建议在利用等值演算法求完主范式后,再利用真值表法比较一下结果是否相同?
利用等值演算法求命题公式
的主析取范式。

用等值演算法求主析取范式,其具体步骤包括:① 化归为析取范式。② 除去析取范式中所有永假的简单合取式。③ 在简单合取式中,将重复出现的合取项和相同变元合并。④ 在简单合取式中补入没有出现的命题变元,即添加∧(p∨¬p),再用分配律展开,最后合并相同的小项。
建议在利用等值演算法求完主范式后,再利用真值表法比较一下结果是否相同?