的主析取范式。

"> 的主析取范式。

">

利用等值演算法求命题公式 的主析取范式。

利用等值演算法求命题公式 的主析取范式。


【正确答案】:
【题目解析】:

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


Top