4. 一 、与逻辑(与运算) 例:开关 A , B 串联控制灯泡 Y §2.2 逻辑代数中的三种基本运算 与逻辑: 仅当决定事件( Y )发生的所有条件( A , B , C ,…)均满足时,事件( Y )才能发生。表达式为: Y=ABC… A 、 B 都断开,灯不亮。 A 断开、 B 接通,灯不亮。 A 接通、 B 断开,灯不亮。 A 、 B 都接通,灯亮。
48. 5 、波形图 -> 真值表 0 1 1 0 0 1 0 1 A B C Y t t t t 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1 A B C Y 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1
49. 最小项 : 在 n 变量逻辑函数中,若 m 为包含 n 个因子的乘积项,而且这 n 个变量都以原变量或反变量的形式在 m 中 出现 , 且仅出现 一次 ,则这个乘积项 m 称为该函数的一个标准积项,通常称为最小项。 3 个变量 A 、 B 、 C 可组成 8(2 3 ) 个最小项: 4 个变量可组成 16(2 4 ) 个最小项 , 记作 m 0 ~ m 15 。 三、逻辑函数的两种标准形式
56. 在 n 变量逻辑函数中,若 M 为包含 n 个因子 的和项, 而且这 n 个变量都以原变量或反变量的形式在 M 中 出现 , 且仅出现 一次 ,则这个和项 M 称为该函数的一个标准和项,通常称为最大项。 n 个变量有 2 n 个最大项,记作 i 最大项的性质 : ① 在输入变量的任何取值下必有一个最大项且仅有一个最大项的值为 0 ; ② 全体最大项之积为 0 ;即 ③ 任意两个最大项之和为 1 ; ④ 只有一个变量不同的两个最大项的乘积等于各相同变量之和。 最大项 :
57.
58. 最小项与最大项的关系 相同编号的最小项和最大项存在互补关系 即 : m i = M i = 若干个最小项之和表示的表达式 Y ,其反函数 Y ′ 可用等同个与这些最小项相对应的最大项之积表示。 = = 例: ′ m 7 ′ m 3 ′ m 5 ′ m 1 ′ M i ′ m i ′
76. 卡诺图的表示: 1 、一变量全部最小项的卡诺图 一变量 Y=F ( A ), Y A 0 1 A Y A 0 1 m 0 m 1 全部最小项: A , A ′ 卡诺图: 下面我们根据逻辑函数变量数目的不同分别介绍一下: A ′
77. A B Y 0 1 0 1 m 0 m 1 m 2 m 3 Y AB 00 01 11 10 A B A ′ B ′ A ′ B A B ′ 00 01 11 10 m 0 m 1 m 3 m 2 Y A BC 0 1 00 01 11 10 m 0 m 1 m 4 m 5 m 3 m 2 m 7 m 6 2 、二变量全部最小项的卡诺图 Y= F ( A 、 B ) Y AB C 00 01 11 10 0 1 m 0 m 1 m 4 m 5 m 3 m 2 m 7 m 6 3 、三变量全部最小项的卡诺图 Y=F ( A 、 B 、 C ) Y AB
78. Y AB CD 00 01 11 10 00 01 11 10 m 0 m 1 m 4 m 5 m 3 m 2 m 7 m 6 m 12 m 13 m 8 m 9 m 15 m 14 m 11 m 10 Y ABC D 000 001 011 010 100 101 111 110 0 1 m 0 m 1 m 3 m 2 m 4 m 5 m 7 m 6 m 8 m 9 m 11 m 10 m 12 m 13 m 15 m 14 4 、四变量全部最小项的卡诺图 Y= F ( A 、 B 、 C 、 D ) 注意: 左右、上下; 在卡诺图中, 每一行的首尾; 每一列的首尾; 的最小项都是逻辑相邻的。
79. Y = AC ′ + A ′ C + BC ′ + B ′ C 卡诺图: 1 1 1 1 1 1 0 0 A ′ (B+B ′ )C + (A+A ′ )B ′ C Y=A(B+B ′ )C ′ + (A+A ′ )BC ′ + 1 、把已知逻辑函数式化为最小项之和形式。 2 、将函数式中包含的最小项在卡诺图对应 的方格中填 1 ,其余方格中填 0 。 方法一: 解: 对于 AC ′ 有: 对于 A ′ C 有: 对于 BC ′ 有: 对于 B ′ C 有: 根据函数式直接填卡诺图 方法二: 1 1 1 1 1 0 0 1 1 例: 用卡诺图表示之。 1 用卡诺图表示逻辑函数: Y A BC 0 1 00 01 11 10 =∑(m 1 , m 2 , m 3 , m 4 , m 5 , m 6 ) Y A BC 0 1 00 01 11 10
82. 化简依据 :逻辑相邻性的最小项可以合并,并消去因子。 化简规则 :能够合并在一起的最小项是 2 n 个 如何最简 : 圈的数目越少越简;圈内的最小项越多越简。 特别注意 :卡诺图中所有的 1 都必须圈到, 不能合并的 1 必须单独画 圈。 上两式的内容不相同,但函数值一定相同。 Y 1 = BC ′ + Y 1 = 将 Y 1 =AC ′ +A ′ C+BC ′ +B ′ C 化简为最简与或式。 此例说明,一逻辑函数的化简结果可能不唯一。 例: (画矩形圈)。 用卡诺图化简逻辑函数 Y A BC 0 1 00 01 11 10 1 1 1 1 1 0 0 1 1 1 Y A BC 0 1 00 01 11 10 1 1 1 1 1 0 0 1 1 1 B ′ A + A ′ C C ′ A + B ′ C A ′ + B
100. 找出真值表中使逻辑函数 Y=1 的那些输入变量取值的组合 P59 表 P2.3 ( b ) A ′ B ′ C ′ D A ′ B ′ CD ′ A ′ BC ′ D ′ A ′ BCD AB ′ C ′ D ′ AB ′ CD ABC ′ D ABCD ′ 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 Y A B C D Y A B C D
101. P60 题 2.5 ( 2 ) 1 1 1 1 1 1 1 A B C D Y 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 A B C D Y 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0