约束项、任意项和无关项的辨析.docxVIP

约束项、任意项和无关项等 一、逻辑代数的基本定理带入定理，用一个逻辑式代替等式 中所有同一个变量，等式仍然成立。反演定理，与或互换， 原反互换，结果为原来结果的取反。--注：1.仍要注意先括号 再乘，最后加的优先次次序。 2.不属于单个 变量上的反号要保留不变。对偶定理，所谓对偶，就是把逻 辑式中与、或互换，0、1互换（注意，不是逻辑式取反。）， 如果两逻辑式相等，那么他们的对偶式也相等。二、从真值 表写出逻辑函数式的一般方法 找出真值表中Y=1的输入变量的组合； 取值为1的取原变量，为0的取反变量，然后与起来； 这些乘积项相加即得Y的逻辑函数式。 三、逻辑函数的标准形式，最小项之和、最大项之积。最小 项，所有变量（或其反变量）都在一个乘积项中出现一次。 最大项，所有变量（或其反变量）者K在和式中出现一次。四、 逻辑函数的化简方法最简形式，在逻辑式中，乘积项最少， 乘积项中的因子也最少。五、卡诺图，将n变量的全部最小 项用一个小方块表示，并使具有逻辑相邻性（6）若两个最小 项只有一个因子不同，则称他们有逻辑相邻性）的最小项在 几何位置上也相邻的排列起来的图形。用卡诺图化简的步 骤： 将逻辑函数化为最小项之和的形式； 画出卡诺图（1表示原变量，0表示取反的；有相应最小项 的地方添1,没有则添0）； 找出可以合并的最小项；--允许重复使用最小项；选取化简 后的乘积项。 选取化简后的乘积