逻辑函数的基本规则和定律
①代入规则:任何一个逻辑代数式,如果将等式两边所出现的某一变量都代之以同一逻辑函数,则等死仍然成立
②反演规则:对于任意一个逻辑函数表达式,如果将其表达式中的运算符“*”换成“+”,“+”换成“*”,常量0换成1,1换成0,原变量变反变量,反变量变原变量
③对偶规则:对于任意一个逻辑函数表达式,如果将其表达式中的运算符“*”换成“+”,“+”换成“*”,常量0换成1,1换成0,,变量保持不变。任何逻辑函数都存在对偶式,若原式成立,其对偶式也一定是等式
④香农展开定理
布尔函数的变换方式
香农展开,或称香农分解是对布尔函数的一种变换方式。它可以将任意布尔函数表达为其中任何一个变量乘以该变量所对应的函数余子式,加上这个变量的反变量乘以该反变量所对应的函数余子式。
用在开关代数中的表达式为:F(X1,X2,... ,Xn)=X1·F(1,X2,...,Xn)+X1‘·F(0,X2,...,Xn)
逻辑函数表达式形式
最小项定义:具有n个变量的函数的”与项“包含全部n个变量,每个变量都以原变量或反变量形式出现一次,且仅出现一次,该"与项"被称为"最小项",有时又称"标准与项"
最小项的数目:n个变量可以构成2的n次方个最小项,简写成mi
性质:任意一个最小项,其相应变量有且仅有一种取值使这个最小项的值为1,最小项不同,使其值为1的变量取值也不同,任何一种变量取值都不可能使两个不同最小项同时为1,相同变量构成的两个不同最小项相与为0,n个变量的全部最小项相或为1,n个变量构成的最小项有n个相邻最小项
最大项定义:如果一个具有n个变量的函数的”或项“包含全部n个变量,每个变量都以原变量或反变量形式出现一次,且仅出现一次,该或项被称为最大项,有时又称”标准或项“n个变量可以构成2的n次方个最大项,下标i的取值规则:原变量用0表示,反变量用1表示,由此得到一个二进制数,与该二进制对应的十进制数就是下标的值了。
性质:任意一个最大项,其相应变量有且仅有一种取值使这个最大项的值为0,最大项不同,使其值为0的变量取值不同。 相同变量构成的两个不同最大项相或为1,n个变量的全部最大项相与为0,n个变量构成的最大项有n个相邻最大项(相邻最大项:除一个变量互为相反外,其余部分均相同的最大项)
最小项和最大项的关系:在同一问题中,下标相同的最小项和最大项互为相反数,相同变量构成的最小项mi和最大项Mi之间存在互补关系。
逻辑函数表达式的标准形式
标准或与表达式:由若干最大项相与构成的逻辑表达式标准表达式
(1) 标准与或式:任何一个逻辑函数表达式都可以表示成惟一一组最小项之和的形式,我们称之为最小项表达式,即标准与或表达式。一般可以采用拆项法和真值表法来求得逻辑函数的最小项表达式。
拆项法:对一般“与或”表达式,利用公式 A+¯A=1对乘积项中缺少的变量进行配项,然后用分配律
(A+¯A)B=AB+¯AB
将添加项后的式子展开,即可得到最小项表达式。
真值表法:列出真值表,真值表中的每一行实质上就是一个最小项,将使输出函数为“1”的所有最小项相“或”,即可得到最小项表达式。
最简表达式
(1) 最简与或表达式——乘积项最少、并且每个乘积项中的变量也最少的与或表达式。
(2) 最简与非—与非表达式——非号最少、并且每个非号下面乘积项中的变量也最少的与非-与非表达式。在最简与或表达式的基础上两次取反,然后用摩根定律去掉下面的非号即可得到最简与非—与非表达式。
逻辑函数的代数化简法
公式化简法——运用逻辑代数的基本公式、定理、规则来化简逻辑函数表达式的一种方法。
常用的有并项法、吸收法、配项法、消去冗余项法等。
代数法化简方法
1.并项法:利用公式A+¬A=1,将两项合并为一项并消去一个变量
2.吸收法:利用公式A+AB=A消去多余的项
3.消去法
(1)利用公式A+¬AB=A+B消去多余的变量
(2)利用多余项定理AB+¬AC+BC=AB+¬AC,将冗余项BC消去
4.配项法
(1)利用公式A=A(B+¬B)为某一项配上其所缺的变量以便用其他方法进行化简
(2)利用公式A+A=A为某项配上其能合并的项
逻辑函数的转换
一个逻辑函数的表达式可以有与或表达式、或与表达式、与非-与非表达式、或非-或非表达式、与或非表达式5种表示形式。
一种形式的函数表达式相应于一种逻辑电路。尽管一个逻辑函数表达式的各种表示形式不同,但逻辑功能是相同的