1、陈瑜Email： * 1计算机科学与工程学院主要内容 :n析取范式、合取范式、主析取（主合取）范式、极小项、极大项等的 定义n求主析取范式和主合取范式的方法1） 真值表法2） 等价变换法n实例分析Date 2计算机科学与工程学院1.5 命题 公式的范式表示：n一个 命题公式 可有 无穷多个 和它 等价 的命题公式，用真值表或等价变换证明它们是否等价，往往比较困难，甚至连计算机也不能解决。要解决判定问题，可用 范式 (公式的标准型 )。n范式 全名叫规范型式 normal form,又叫标准型式 ,正规型式。把公式进行标准化，正规化，就叫对公式求范式。Date 3计算机科学与工程学院1.5 命题
2、 公式的范式表示：n一个命题公式可有无穷多个和它等价的命题公式，用真值表或等价变换证明它们是否等价，往往比较困难，甚至连计算机也不能解决。要解决判定问题，可用范式 (公式的标准型 )。n范式 全名叫规范型式 normal form,又叫标准型式 ,正规型式。 把公式进行标准化，正规化，就叫对公式 求范式 。Date 4计算机科学与工程学院定义 1.16： 原子公式及其否定称为 句节（ 分别称为 正句节 或 负句节） 。 有限个 句节 组成的 析取式 称为 子句 ； 有限个 句节 组成的 合取式 称为 短语 。 有限个 短语 组成的 析取式 称为 析取范式 ； 有限个 子句 组成的 合取式 称为
3、 合取范式 。Date 5计算机科学与工程学院例 5.11） 、是句节、子句、短语、析取范式、合取范式。2） 是子句、析取范式； 3） 是短语、合取范式； 4）（ ） （ ）是析取范式。5）（ ） （ ）是合取范式。n 句子 （ ）、 （ ）既不是析取范式也不是合取范式。但转换后：n （ ） = n （ ） = n 上述两式的右端即是析取范式和合取范式。Date 6计算机科学与工程学院例 5.11） 、是句节、子句、短语、析取范式、合取范式。2） 是子句、析取范式； 3） 是短语 、合取范式； 4）（ ） （ ）是析取范式。5）（ ） （ ）是合取范式。n 句子 （ ）、 （ ）既不是析取范式
4、也不是合取范式。但转换后：n （ ） = n （ ） = n 上述两式的右端即是析取范式和合取范式。Date 7计算机科学与工程学院例 5.11） 、是句节、子句、短语、析取范式、合取范式。2） 是子句、析取范式； 3） 是短语、合取范式； 4）（ ） （ ）是析取范式。5）（ ） （ ）是合取范式。n 句子 （ ）、 （ ）既不是析取范式也不是合取范式。但转换后：n （ ） = n （ ） = n 上述两式的右端即是析取范式和合取范式。Date 8计算机科学与工程学院例 5.11） 、是句节、子句、短语、析取范式、合取范式。2） 是子句、析取范式； 3） 是短语、合取范式； 4） （ ） （ ）是析取范式。5）（ ） （ ）是合取范式。n 句子 （ ）、 （ ）既不是析取范式也不是合取范式。但转换后：n （ ） = n （ ） = n 上述两式的右端即是析取范式和合取范式。Date 9计算机科学与工程学院例 5.11） 、是句节、子句、短语、析取范式、合取范式。2） 是子句、析取范式； 3） 是短语、合取范式； 4） （ ） （ ）是析取范式。5） （ ） （ ）是合取范式。n 句子 （ ）、 （ ）既不是析取范式也不是合取范式。但转换后： （ ） = （ ） = 上述两式的右端即是析取范式和合取范式。Date 10计算机科学与工程学院
