命题范式(propositional normal form)
命题范式(propositional normal form) 同一条逻辑表达式,我们可以有很多种写法,将这些表达式写成某一规定形式,称为命题范式。具体包括这样两种范式:合取范式(conjunctive normal form)和析取范式(disjuncive normal form)。 首先,我们利用递归(recursion)的方法定义一个命题式(pr
原创
2016-03-24 21:24:34 ·
3978 阅读 ·
0 评论