公式化为范式
公式化为范式然后判断是否为永真式,分为以下步骤:消除等价,消除蕴含,消除否定,化为范式
下载地址
用户评论