一、范式
1·主析取范式=极小项的析取(用m表示)
2·主合取范式=极大项的合取(用M表示)
利用真值表:
画真值表,找出使得公式真值为真的所有解释,其对应极小项的析取就是该公式的主析取范式;找出使得公式为假的所有解释,其对应极大项的合取就是该公式的主合取范式。
等值演算法:
利用范式解决公式类型判定问题:
1·若主析取范式为空,则公式为矛盾式
2·若主合取范式为空,则公式为重言式
3·否则,公式为可满足式
利用主析取或主合取还可以判断公式是否等价。
二、推理
真值表法:
等值演算法:
自然演绎法:
证明过程中引入结论的前提作为条件
反证法(归谬法):
引入结论的否定,推出矛盾P合取非P