怎么求析取范式和合取范式?
来个例子吧:
解题思路是“三步走”。
第一步,要消去命题公式中的蕴含联结词和等价联结词。
则有:
第二步,利用“德摩根律”将否定符号提到命题变元的前面:
这个式子里有四个否定符号,而且这四个否定符号都已经在命题变元的前面了,所以第二步我们就省掉了。
第三步是对公式进行整理,必要的时候,可以利用“分配律”进行转化。
完整的解题步骤为:
这个步骤写得很细,大家可以一步步分析,应该是容易看懂其中的逻辑的。
这题中的析取范式是怎么来的?把合取范式的括号去掉就是析取范式了,去掉括号后,就可以将¬P、¬Q、R各自看作是一个短语,三个短语的析取构成的就是析取范式。
这题不难,都是按部就班的步骤,只要你将分配律、结合律、幂等律、排中律、同一律等等这些牢记于心,很自然就解出了这题。