概述
范式的定义：
析就是并，合就是或，合取就是里合外析，析取就是里析外合。
析取式强调的是里面的式子是析取，也就是并。合取式强调的是里面的式子是合取，也就是或。
常用逻辑等价式：
那要怎样把普通的式子转化为合取或者析取式呢？：
主范式：
极大项就是和，极小项就是并。
例子：
弄假指派：
弄假就是使得公式为假的赋值。
对于一个主合取范式，只要让其中的一个子式为假，总体就为假。
对于一个主析取式，只要让其中的一个子式为真，就可以让总体为真。
最后
以上就是鲤鱼猫咪为你收集整理的数理逻辑 4 命题公式的范式的全部内容，希望文章能够帮你解决数理逻辑 4 命题公式的范式所遇到的程序开发问题。
如果觉得靠谱客网站的内容还不错，欢迎将靠谱客网站推荐给程序员好友。
本图文内容来源于网友提供，作为学习参考使用，或来自网络收集整理，版权属于原作者所有。
str为空
发表评论 取消回复