离散数学 主析取范式主合取范式

1、实验二实验题目：生成主析取范式和主合取范式实验目的：1.熟悉地掌握计算机科学技术常用的离散数学中的概念、性质和运算；通过实验提高学生编写实验报告、总结实验结果的能力；使学生具备程序设计的思想，能够独立完成简单的算法设计和分析。2.掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。实验内容：利用计算机构造真值表来建立主析取范式和主合取范式实验原理：1.合取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题PQ。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P 为真, Q为真时方可PQ为真, 而P、Q只要有一为假则PQ 为假。2.析取：二元命

2、题联结词。将两个命题P、Q联结起来，构成一个新的命题PQ。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P为假, Q为假时方可PQ为假, 而P、Q只要有一为真则PQ为真。3.真值表:表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。 真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。4.主析取范式：在含有n个命题变元的简单合取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单合

3、取式为小项。由若干个不同的小项组成的析取式称为主析取范式;与A等价的主析取范式称为A的主析取范式。任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的。5.主合取范式：在含有n个命题变元的简单析取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单析取式为大项。由若干个不同的大项组成的合取式称为主合取范式;与A等价的主合取范式称为A的主合取范式。任意含n个命题变元的非永真命题公式A都存在与其等价的主合取范式,并且是惟一的。实验结果与分析：实验结果：实验分析：参考前面实验的代码，生成真值表，然后找出所有值为1时，各变元的取值，从而生成相应的小项

4、，最终得到主析取范式。找出值为0时各个变元的取值，从而生成相应的大项，最终得到主合取范式。附：程序源代码：caclAnd(Value.substr(nand-1,1,Value.substr(nand+1,1+(nand+2<=Value.length?Value.substr(nand+2:""/alert("合取后的值:"+Value;nand=Value.indexOf(""/再算析取var nOr=Value.indexOf("+"/第一个合取符号的位置while (nOr>0/这个符号不可能在

5、第0个位置,肯定大于0/符号前一个是运算数,Value=(nOr-1>0?Value.substr(0,nOr-1:""+caclOr(Value.substr(nOr-1,1,Value.substr(nOr+1,1+(nOr+2<=Value.length?Value.substr(nOr+2:""/alert("求析取后的值:"+Value;nOr=Value.indexOf("+"return Value;function caclAnd(x,yif (x="1" && (y="1"return 1;elsereturn 0;function caclOr(x,yif (x="0" && (y="0"return 0;elsereturn 1;function caclNot(xif (x="1"return 0;elsereturn 1;生成一个公式主