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