离散数学第4讲范式.pptVIP

基本等值式;等值演算（举例）;例：;分析：在同一个合取子式中若有两个相同字母但脚标不同(表示同一个人有两个名次) 则此式?0;对偶原理(举例);判定问题;非等值公式;新方法;简单析取（合取）式;性质1;标准型;析取范式;合取范式;性质2;范式存在定理;具体步骤;答案;极小项;讨论;极小项与二进制数的对应;性质;主析取范式;性质;主析取范式的求法;;方法二;范式用途：;主合取范式;极大项;极大项讨论;极大项与二进制数的对应;极大项与极小项;主合取范式;主合取范式的唯一性;主合取范式的求法三;略证;主析取范式和主合取范式可以相互构造对方，有时比较简单。;举例;作业：