提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档
文章目录
- 析取范式和合取范式
- 主范式、大项、小项
- 求主范式
析取范式和合取范式
析取范式最外层的运算必须是析取,在上面第二点中打了括号以后最外层不是析取,不能再作为析取范式,可以看作一个析取式的合取,所以可以看成合取范式
主范式、大项、小项
主析取范式的定义:
主合取范式:
大项的性质
主合取范式:
求主范式
等值变换法:
提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档
析取范式最外层的运算必须是析取,在上面第二点中打了括号以后最外层不是析取,不能再作为析取范式,可以看作一个析取式的合取,所以可以看成合取范式
主析取范式的定义:
主合取范式:
大项的性质
主合取范式:
等值变换法:
文章目录第二章命题逻辑作业第三章 谓词逻辑作业集合与关系在线作业图的基本概念与存储结构
举报文章
请选择举报类型
补充说明
0/200
上传截图
格式支持JPEG/PNG/JPG,图片不超过1.9M