linux判断值相等_判断两个公式等值，你喜欢哪种方法？

有了命题公式的概念之后，我们经常将 包含变元p , q ,r公式写为A(p,q,r)。这是一种抽象的写法，只知道公式中包含这三个变元，并不去细究它们之间如何联结的。只要包含的变元相等，这两个公式就有可能等值。公式等值的本质是在任何一种指派之下，两个公式的真值都相等。故相等的前提是两个公式包含相同的命题变元。若公式中含有n个变元，则公式共有2的n次方种真值指派。由此，我们有了第一种判断公式等值的方法。

一、真值表法

分别求出两个公式的真值表，如果两个真值表的最后一列对应相等，则这两个公式等值。例如：

这两个公式在8种指派下的值都相等，故两个公式等值。

这两个公式虽然长得很像，但是并非所有指派下的值都对应相等，故不等值。

二、主范式法

任何公式都存在与之等值的析取范式和合取范式，但不一定唯一。 任何公式都存在与之等值的主析取范式和主合取范式，并且唯一。 一个公式的主析取范式中的每个极小项，都是该公式的成真赋值。 一个公式的主合取范式中的每个极大项，都是该公式的成假赋值。 因此，我们可以通过求取公式的主范式，判断两个公式是否等值。

注：求公式的范式的步骤

求得范式之后，通过加项使得构成析取范式的每个简单合取式变为极小项，则得到主析取范式。

同样的，通过加项使得构成合取范式的每个简单析取式变为极大项，则得到主合取范式。

在含有n个命题变项的简单合取式中，若每个命题变项均以文字的形式在其中出现且仅出现一次，而且第i个文字出现在左起第i位上，称这样的简单合取式为极小项。

极大项的定义与之类似，不再赘述。

几点说明：

(1)极小项是特殊的简单合取式；

(2)n个命题变项有2的n次方个极小项和2的n次方个极大项；

(3)2的n次方个极小项(极大项)均互不等值；

(4)用mi表示第i个极小项，其中i是该极小项成真赋值的十进制表示. 用Mi表示第i个极大项，其中i是该极大项成假赋值的十进制表示. mi(Mi)称为极小项(极大项)的名称. 

(5)由极小项的析取构成的析取范式称为主析取范式。

(6)由极大项的析取构成的合取范式称为主合取范式。

(7)每个公式都存在与之等值的主析取范式和和主合取范式，并且是唯一的。

(8)同一个公式的主析取范式和主合取范式的下标是互补的。

【特别注意】很多同学容易犯错的一点，是在求得主范式之后，转换为简记法时出错。你就记着，“明知山有虎，偏向虎山行”，简记法就是对极小项求成真赋值，因为极小项的成假赋值只要有一个文字为假它就为假，而成真赋值需要每个文字都为真，需要判断每个文字的真值。从而 得到一个二进制序列，将其转换为十进制的数字，作为m 的下标。同理，对极大项求成假赋值难，我们就求成假赋值，得到一个二进制序列，将其转换为十进制的数字，作为M的下标。

回到正题，用范式的方法判断下面两组公式是否等值：

三、等值演算法

当命题变元较多的是时候，真值表法判断公式等值的工作量是很大的。这时，等值演算法的强大功能就凸显出来了。

等值演算法是利用已知的等值式通过代换得到新的等值式。

本章的16组基本等值式是基础，常用且重要，以它们为基础进行运算，可以证明公式等值。

      在这些等值式中，蕴涵等值式、吸收律、德摩根定律是需要记住的，其余的比较好理解。还有，分配律的倒着使用(从右向左运算)，也很常见。

       上课时写过的四个变元的分配律，要悄悄记在心里哦。

例：用等值演算法证明公式等值

以上的三种方法，你都学会了吗？喜欢用哪一种呢？

摆摊讲题，买一送一。白送等值演算的其它三种用途，拿走不谢。

1. 化简公式

   利用16组基本等值式进行公式的化简。

2. 判断公式类型: A为矛盾式当且仅当A=0，A为重言式当且仅当A=1，A为可满足式当且仅当有些变元消不掉。

   

   

3. 求公式的成真成假赋值

   

上一篇：直播课的作业，存在哪些问题呢？

推荐：(期末重磅！)离散结构复习指南——知识点精简