析取范式
英美概况-生物电理疗
2023年3月20日发(作者：夏天的美景)路漫漫其修远兮，吾将上下而求索-百度文库
1
实验二
实验题目：
生成主析取范式和主合取范式
实验目的：
1.熟悉地掌握计算机科学技术常用的离散数学中的概念、性质和运算；通过
实验提高学生编写实验报告、总结实验结果的能力；使学生具备程序设计的思想，
能够独立完成简单的算法设计和分析。
2.掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实
际问题。
实验内容：
利用计算机构造真值表来建立主析取范式和主合取范式
实验原理：
1.合取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P
∧Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题
变项P为真,Q为真时方可P∧Q为真,而P、Q只要有一为假则P∧Q为假。
2.析取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P
∨Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题
变项P为假,Q为假时方可P∨Q为假,而P、Q只要有一为真则P∨Q为真。
3.真值表:表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公
式真假值的表。通常以1表示真，0表示假。命题公式的取值由组成命题公式的
命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。
真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。
4.主析取范式：在含有n个命题变元的简单合取式中,若每个命题变元与其否
定不同时存在,而两者之一出现一次且仅出现一次,称该简单合取式为小项。由若
干个不同的小项组成的析取式称为主析取范式;与A等价的主析取范式称为A的主
析取范式。任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,
并且是惟一的。
5.主合取范式：在含有n个命题变元的简单析取式中,若每个命题变元与其
否定不同时存在,而两者之一出现一次且仅出现一次,称该简单析取式为大项。由
若干个不同的大项组成的合取式称为主合取范式;与A等价的主合取范式称为A
的主合取范式。任意含n个命题变元的非永真命题公式A都存在与其等价的主合
取范式,并且是惟一的。
路漫漫其修远兮，吾将上下而求索-百度文库
2
实验结果与分析：
实验结果：
实验分析：
参考前面实验的代码，生成真值表，然后找出所有值为1时，各变元的取值，
从而生成相应的小项，最终得到主析取范式。找出值为0时各个变元的取值，从
而生成相应的大项，最终得到主合取范式。
路漫漫其修远兮，吾将上下而求索-百度文库
3
附：程序源代码：
3
生成一个公式主析取、主合取范式
基本方法：生成一个公式的真值表，并且将各变元的值保留下来
公式一：