- 125
- 0
- 约1.72万字
- 约 30页
- 2020-07-21 发布于天津
- 举报
学习-----好资料
第二章习题答案
[32 1)试用列直值表的方法证明下列异或运算公式。
X@o=4
A@1 M
A@A
⑷ ±1
(A?ff)@C^A?(R@C)
4(ff?C) =^AR?AC
A?B( ^A@R?1
解匕将输人变最所有的取價逐?代入公式两边计算,然后将计算结柴列成 真值表°如果两边的真值丧相同,则尊式成茁,
(1)证射 A?0 (2)证期 4?1 =A
.4
0
!
4?1
0
0
4
1
1
1
?
1
1
L
⑶证朗畑八0 (4)证明A?Af^l
A
A
.4抄
4
■ 1 Af
0
Q
0
0
\ 1 i
J 1
1
)
0
I
1
(5)证明(4?ft)?C = /l?(/?@G)
ABC
? e o
0
0
0
0
0 0 1
0
1
1
1
0 1 0
1
I
1
!
0 1 1
1
0
0
0
E 0 fl
1
0
1
1
1 Q 1
1
1
0
0
I 1 0
0
1
0
0
1 1 1
0
1
1
—~更多精
字品文档
—
学习-一好资料
(6),证明
4
B
C
B^C ]
AB^b 1
AC
F :
AB^AC
$
0
0
0
G
和;0
0
0
0
0
1
1
a
1 *
* e
0
0
9
1
0
1
0
0
T;;[0
0
1
1
8
?
e
0
1
0
0
伽?]
?
?
o ?…
?
1
0
1
11 ■ ■ ■!
1J ?
-■
y
?i
i
1
1
0
1 i;—
?
L I ?-
1
1
1
Tr
1
*八
1
[i i
ft
0
(7) = (A?B)f A?B?1
4
0
?
9
1
1
0 r V
■、‘儿■
:. b-?
「°川
0
1
■ . H
o ?
1 A 4
‘ 1
,…。
1 \
?
J,
0
?
?
1
1
?r ° i
| Q ■?
? 1
L ■ 1
1
【题24】证明下列逻辑恒镣式i方袪不限) 「 i二.、
“⑴件诙晳叫叮二. ?.心
冲傀処护申:挪哙严—
(3) ((A+^ + CB^C7?)* + (ff + Cf)(*^D + R卷J =1
r* : Xml * ■ *■■ 二. ! *r x ■ 4*^* -
(4J A B C1 ±A(B+C) +?C = (AB C
?:在前面的耕題方法中我们介绍了四种证明逻辑恒等式的方法?即列H 值表的方法.用公式和定理推廣的方法、⑥卡诺图的方法和便用M?llisim7进行 化简的方注。
T . 」?■ * 购 1 r * I- \ j .in . _ b ° # r ■
在实际应用中,除非逻辑式很简单、而且少的flrsTA*^ 宜用列真值表的方法“对參燮量、圮杂的逻罄等式■通常采用公式推演或公式推 演与風卡诺图相站合的方迭去证明。如巣礒条件使用 恥怖血:等EDA软件进 行证崩?刻更捌简单、便捷° 」‘ 「
列-下面采用公式推演的方法来进行证明* 1 - ■7
co用公式推滴将尊式左边代简,得到
AB1 ^AfB=A ? *
所得结果与畔式右边相同,故等式成立6
* (2)用公式推演将竽式左边化简为 ?
更多精品文档
a 4 Cf)(B+D)(B 5) = (A + C?)(BoBD\BD4DDJ
TOC \o 1-5 \h \z ? ? ? ? ??“ —? d —* ■ ? ■ J??? ■ ? ■
?,?? r、??* . x (A + c^yB
-
t ? ■〒 ? ?■ x a ?? - — ?
6 ^AB^BC _
所得结果与等式右边相同.故等式成立。V
用公式推演将等式左边化为
?认“+B + C)CD) + (3+C)(朋①《BC) 。
=4+jB+C* + {CfDy + (fl+ C)( ABD ,
?4+fi+OC + Df+ (B*Cr)(AB^D 4 B9C) ?
-lCr + C) + A f + D* + (B^C)(ABfD^BX9) ?1 +4 卡B+ZT+(E4C7(*BD?BC‘) si
x ■ ? ? ? ? ? ? ? ? ?■ ? ? ■ ■ ? ? ?
故等式成立。?■
用公式推演将等式左边写成?” :
f ? WCW(B*C) 肋皿杠C
将等式右边变换为与或式?得到?: “
“(初C*+4BC+ABCjG(ArC)‘“BC¥“BC)“ ?
v ” y(w + B?c)a+8+c)a+3qc)
_.__ :. 2(4?
可见?等式成立。、 宀管宀 --*
-在用公式推导证明逻辑零式时并不要求必須将等式两边化成最简的与或形 式,只要繼把等式药边变换为相同的逻■式ttfrTo本题的(1).(2).(3)小題 中?因为等式右边已疑是最简与威式了,所以将左边的式子化成与右边的式子相 同的过程也就是化简过程兀.…
原创力文档

文档评论(0)