下载文档原格式
实验二实验题目：生成主析取范式和主合取范式实验目的: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都存在与其等价的主合取范式，并且是惟一的。
求主析取范式的方法求主析取范式是一种用于逻辑推理和数学证明的重要方法。
在逻辑学和数学中，主析取范式（DNF）是一种命题逻辑表达式的标准化形式，可以方便地进行逻辑推理和计算机处理。
本文将介绍求主析取范式的基本原理和方法。
主析取范式是由若干个子句组成的析取式，其中每个子句都是由若干个文字组成的合取式。
在主析取范式中，每个子句都是一个或多个文字的合取，并且各个子句之间是析取关系。
主析取范式的一个重要性质是，任何一个命题逻辑表达式都可以通过一系列等价变换得到对应的主析取范式。
求主析取范式的方法有多种，下面将介绍其中两种常见的方法。
第一种方法是通过真值表法。
真值表法是一种通过列举所有可能的真值赋值，然后根据真值的取值情况来判断该逻辑表达式是否为真的方法。
对于一个给定的逻辑表达式，可以先构造它的真值表，然后根据真值表中为真的赋值情况，将这些赋值对应的文字取反并进行合取操作，最后再将这些子句进行析取操作，得到主析取范式。
第二种方法是通过化简法。
化简法是一种通过逐步简化逻辑表达式的方法，直到得到主析取范式。
其中一种常见的化简法是奎宁-麦克劳林化简法。
该方法通过使用逻辑等价关系和代数运算律，将逻辑表达式逐步转化为主析取范式。
具体步骤包括使用分配律、德·摩根律、吸收律等将逻辑表达式转化为合取范式，然后再使用化简律将合取范式转化为主析取范式。
在实际应用中，求主析取范式的方法可以根据具体问题的需要进行选择。
如果逻辑表达式较为简单，可以通过真值表法直接求解；如果逻辑表达式较为复杂，可以通过化简法进行求解。
此外，还可以使用计算机辅助工具来求解主析取范式，例如使用逻辑推理软件和计算机算法。
求主析取范式是一种重要的逻辑推理和数学证明方法。
通过求主析取范式，可以将逻辑表达式转化为标准化的形式，方便进行逻辑推理和计算机处理。
根据具体问题的需要，可以选择不同的方法来求解主析取范式。
无论是使用真值表法还是化简法，都需要熟练掌握逻辑等价关系和代数运算律，以及使用计算机辅助工具来提高求解效率。
等值演算是一种逻辑代数的方法，可用于简化布尔代数的表达式。
在逻辑电路设计和计算机科学领域，利用等值演算可以帮助我们求解复杂的布尔函数的主析取范式和主合取范式。
在布尔代数中，一个布尔函数可以表示为一系列输入变量和输出变量的逻辑关系式。
通过布尔代数的运算规则，我们可以对这些逻辑关系式进行等值变换，将其简化为更加简洁的形式。
其中，最重要的简化形式包括主析取范式和主合取范式。
主析取范式是指一个布尔函数的各项按照与或关系相连的形式，其中每一项都是不可简化的极小项。
主析取范式的求解可以帮助我们理解布尔函数的逻辑结构，并为电路的设计提供参考。
主合取范式则是指一个布尔函数的各项按照或与关系相连的形式，其中每一项都是不可简化的极大项。
主合取范式的求解同样可以帮助我们理解布尔函数的逻辑结构，并为电路的设计提供参考。
接下来，我们将通过等值演算的方法，来求解一个布尔函数的主析取范式和主合取范式。
1. 我们需要将布尔函数转换为真值表的形式。
真值表可以清晰地展现出布尔函数在各个输入变量组合下的输出取值情况。
通过真值表的分析，我们可以对布尔函数进行等值变换和化简。
2. 我们利用等值演算的定理和法则，对布尔函数进行等值变换。
其中，包括重要的等值演算定理，如恒等律、吸收律、对偶律等。
通过运用这些定理和法则，我们可以将布尔函数逐步化简为主析取范式和主合取范式的形式。
3. 我们将化简后的布尔函数表示为主析取范式和主合取范式的形式。
主析取范式和主合取范式的求解过程中，需要格外注意每一步等值变换的正确性和合理性，以确保最终得到的主析取范式和主合取范式是布尔函数的最简形式。
通过以上等值演算的步骤和方法，我们可以成功地求解出一个复杂布尔函数的主析取范式和主合取范式。
这些简化后的形式将极大地方便我们对布尔函数的理解和分析，为逻辑电路的设计和优化提供重要的参考依据。
等值演算作为一种重要的逻辑代数方法，在计算机科学和信息技术领域也有着广泛的应用和意义。
重言式与矛盾式的主析取范式与主合取范式。
1、先看下列简单的问题：命题公式P→（Q→P）的主合取范式为。
解：根据蕴涵词的意义，当P为假时，P→（Q→P）为真；当P为真时，Q→P为真，因而P→（Q→P）为真，所以P→（Q→P）永远为真，即P→（Q→P）是一个重言式。
P→（Q→P）中总共有两个命题变元P和Q，因而对应有个不同的极大项，每个极大项对应着使得P→（Q→P）为假的一种赋值。
现在P→（Q→P）不可能为假，所以P→（Q→P）的主合取范式中不能含有极大项，因而其主合取范式只能是一个不含极大项的空范式。
我们约定：用1表示重言式的主合取范式。
所以命题公式P→（Q→P）的主合取范式为1。
2、一般地，如果一个命题公式G中共有n个命题变元。
每个变元有真和假两种不同的赋值。
因而G总共有2n种不同的赋值。
对应着每一种赋值，都有一个极小项和极大项，极小项在对应的赋值下为真，极大项在对应的赋值下为假。
如果G正好在m种赋值下为真，在另外的种赋值下为假，那么使得G为真的m种赋值所对应的m个极小项的析取就是G的主析取范式，使得G为假的其他种赋值所对应的个极大项的合取就是G的主合取范式。
如果G是重言式，全部2n种赋值都使得G为真，因而所有的2n个极小项的析取是G的主析取范式。
重言式G的主合取范式不含极大项，是空范式，就用1表示。
如果G是矛盾式，全部2n种赋值都使得G为假，因而所有的2n个极大项的合取是G的主合取范式。
矛盾式G的主析取范式不含极小项，是空范式，就用0表示。
3、P→（Q→P）的主析取范式为由P→（Q→P）对应的所有4个极小项的析取得到。
4、重言式和矛盾式的主析取范式和主合取范式，在教材中没有讲清楚，因而在做有关练习和考试题时，同学们感到茫然。
现在，大家应该清楚了。
这里也进一步明确了用真值表方法求主合取范式和主析取范式的依据和步骤。
