下载文档原格式
实验二实验题目：生成主析取范式和主合取范式实验目的: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、重言式和矛盾式的主析取范式和主合取范式，在教材中没有讲清楚，因而在做有关练习和考试题时，同学们感到茫然。
现在，大家应该清楚了。
这里也进一步明确了用真值表方法求主合取范式和主析取范式的依据和步骤。
第四节 主析取范式与主合取范式n 个命题变项虽然可以构成无穷多个形式各异的命题公式，但就其真值而言，只有22n种。
对应每种真值情况虽然又有无穷多个等值的公式，但这些公式却有相同的标准形式。
本节将给出规范公式的概念，这种规范的公式能表达真值表所能给出的一切信息。
定义4.1 命题变项及其否定统称为文字。
如p ，q ，¬p ，¬q ，L 都是文字，即每个命题变项产生两个文字。
（1）仅由有限个文字构成的合取式称为简单合取式。
（2）仅由有限个文字构成的析取式称为简单析取式。
例如，p ∧q ，p ∧¬q ∧r ，L 都是简单合取式。
p ∨q ， ¬p ∨q ∨r ，L 都是简单析取式。
单个文字既是简单析取式，又是简单合取式。
定义4.2 （1）仅由有限个简单合取式构成的析取式称为析取范式； （2）仅由有限个简单析取式构成的合取式称为合取式。
例如，p ，¬q ，p ∧q ，（p ∧¬q ）∨（p ∧q ），L 都是析取范式。
p ，¬r ，p ∨q ，（p ∨q ）∧（q ∨¬r ），L 都是合取范式。
注意，两个文字构成的简单合取式与析取式都既是析取范式又是合取范式。
例如，p ∨q 是析取范式，它是由两个简单的合取式p 与q 析取而成。
同时它也是合取范式，看成是一个简单析取式构成的合取范式。
定义 4.3 （1）n 个命题变项1p ，2p ，L ，n p （1n ≥）构成的简单合取式中，若每个i p （1,2,,i n =L ）都以文字的形式出现一次且仅出现一次，而且出现在左起的第i 位上，则称它为极小项。
（2）n 个命题变项1p ，2p ，L ，n p （1n ≥）构成的简单析取式中，若每个ip （1,2,,i n =L ）以文字的形式出现一次且仅出现一次，而且出现在左起的第i 位上，则称它为极大项。
两个命题变项p ，q 共可形成4个极小项：¬p ∧¬q ，¬p ∧q ，p ∧¬q ，p ∧q 。
求命题公式非(p→q)v非r的主析取范式与
合析取范式
析取范式与合取范式是逻辑学中非常重要的概念，它们用于表达
人类逻辑思维的架构。
析取范式简称为P，合取范式则称为Q。
其中，
析取范式是一种简单的逻辑关系，通常采取“否定前提即断言”的原则，表达“如果P不成立，则Q必成立”的定义。
而合取范式则是一
种复杂的逻辑关系，用于表达“P和Q同时成立，则R必成立”的定义。
非(p→q)v非r是一种析取范式导出的结论，表示“非(p→q)与
非r同时为真”。
这一命题公式可以由一个简单的逻辑演绎推导出来：由已知条件p→q，及q为假，得到p为假，即非p为真；由已知条件
r，及r为假，得到非r为真；根据析取范式的定义，得出非（p→q）
与非r同时为真的结论。
此外，对于非（p→q）v非r的命题公式，也可以采取合取范式
的推导方式来证明，即：如果p→q为真且r为真，则非（p→q）v非
r也必然为真。
由此可以得出，非（p→q）v非r的合取范式也可以用
来表明它与相应的已知条件都具有合乎逻辑的关系。
综上所述，析取范式与合取范式是逻辑学中重要的概念，它们可
以用来推导非（p→q）v非r的命题公式，既可以用析取范式证明，也可以用合取范式证明。
通过认真分析，就可以很好地了解这种混合逻
辑的思路。
因此，深入研究这些基本的逻辑思维模式和构造有利有弊，有其非常重要的意义。
主合取范式和主析取范式求法在我们日常生活中，逻辑就像是一根无形的线，把一切串联在一起。
你知道的，逻辑不仅仅是那些严肃的数学公式，也可以是我们日常交流中潜移默化的存在。
说到逻辑，就不得不提到主合取范式和主析取范式了。
听起来有点复杂，其实说白了就是把逻辑表达得更清晰。
别急，咱们慢慢聊聊。
主合取范式，嗯，这个名字一听就觉得有点拗口。
其实呢，就是把逻辑表达成“与”的形式。
想象一下，你在一场聚会上，大家都在聊着自己的事儿。
这时候，你决定说：“好吧，我们来聊聊谁最喜欢吃披萨、喝啤酒、看电影。
”这个时候，你就把几个条件结合起来了，听起来就像是一道很酷的逻辑公式。
在主合取范式中，你只要把这些条件都用“与”连接起来，比如“我喜欢披萨与我喜欢啤酒与我喜欢看电影”，这就是个典型的主合取范式。
主析取范式又是个啥呢？就像个派对上不同的人选择不同的食物一样，主析取范式强调的是“或”的关系。
比如说你在问大家：“你们想吃披萨还是汉堡，还是炸鸡？”这个时候，大家的选择就成了不同的选项。
每个选项都可以单独成一个句子，比如“我喜欢披萨或我喜欢汉堡或我喜欢炸鸡”。
听起来是不是很简单呢？这就是主析取范式，简单明了，直来直去。
怎么从一个复杂的逻辑表达转化成这两种形式呢？咱们可以把这些条件一个一个拆开，慢慢分析。
你得搞清楚逻辑中的每一个命题，像是在解一个拼图。
然后，把这些命题用“与”或者“或”连接起来。
别担心，这个过程就像在做美食，先把材料准备好，然后根据自己的喜好来搭配。
你可以把条件拿出来，像一个厨师一样，看看哪些可以一起炒，哪些可以单独炖。
假设你有几个命题，比如“天气很好”、“有时间去公园”、“带了零食”。
你想把它们转成主合取范式。
简单，直接把它们用“与”连起来，变成“天气很好与有时间去公园与带了零食”。
嘿，这样就完成了！换成主析取范式，只需把每个命题用“或”连接，就可以得到“天气很好或有时间去公园或带了零食”。
这样一来，逻辑就变得清晰又简单了。
