用等值演算法求公式┐(p→q)的主析取范式和主合取范式。... 用等值演算法求公式┐(p→q)的主析取范式和主合取范式。
· 爱生活,爱心理学,喜欢美好
如果两个公式A与B含有相同的命题变元,如果在所有指派下,A与B的真值都相同,则说明这两个公式是等值的。等值演算法是利用已知的等值式通过代换得到新的等值式。
判断两个公式是否等值,最直接的方法就是用真值表法,判断A与B是否在所有指派下同真值,或者判断A等价B是否是重言式。但是当命题变元较多的是时候,真值表法判断公式等值的工作量是很大的。这时,等值演算法的强大功能就凸显出来了。