公式化为范式然后判断是否为永真式,分为以下步骤:消除等价,消除蕴含,消除否定,化为范式