怎么求析取范式和合取范式?

怎么求析取范式和合取范式?

来个例子吧:

怎么求析取范式和合取范式

解题思路是“三步走”。

第一步,要消去命题公式中的蕴含联结词和等价联结词。

则有:

第二步,利用“德摩根律”将否定符号提到命题变元的前面:

这个式子里有四个否定符号,而且这四个否定符号都已经在命题变元的前面了,所以第二步我们就省掉了。

第三步是对公式进行整理,必要的时候,可以利用“分配律”进行转化。

完整的解题步骤为:

这个步骤写得很细,大家可以一步步分析,应该是容易看懂其中的逻辑的。

这题中的析取范式是怎么来的?把合取范式的括号去掉就是析取范式了,去掉括号后,就可以将¬P、¬Q、R各自看作是一个短语,三个短语的析取构成的就是析取范式。

这题不难,都是按部就班的步骤,只要你将分配律、结合律、幂等律、排中律、同一律等等这些牢记于心,很自然就解出了这题。

登录

注册