第一篇:试用列真值表的方法证明下列异或运算公式
[2-1]试用列真值表的方法证明下列异或运算公式。
(1)A0A(2)A1A(3)AA0(4)AA
1(5)AB=A⊙B(6)ABCABAC
[2-2]证明下列等式(方法不限)(1)ABBCACABBCAC
(2)ABBCACABBCAC
(3)ABACABAC
(4)ACBDBDABBC
[2-3]写出下列函数的对偶式及反函数:(1)YABCD
2)YABCDE
3)YABCDBCDCEDE
4)YACBDACACDE
5)YABCABCABBCAC
6)YADBCD
[2-4]已知逻辑函数的真值表如表P1-1(a)、(b),试写出对应的逻辑函数式。表
表P1-1(b)((((([2-5]用逻辑代数的基本公式和常用公式将下列逻辑函数化为最简与或形式
(1)YABBAB(2)YABCABC
(3)YABCAB
(4)YABABCACBCD
(5)YAB(ACDADB C)(AB)
BC(BADCE)(6)YAC(CDAB)
(7)YACABCACDCD)ABC)(ABC)(8)YA(BC((A DAD)B(ADAD)(9)YBCABCEB
BCDEBC DEABEF(10)YACACDAB EFB(DE)
[2-6]写出图P2-1中各逻辑图的逻辑函数式,并化简为最简与或式。
图2-
1[2-7]将下列各函数式化为最小项之和的形式。
(1)YA(BC)
(2)YABABD(BCD)(3)YAB+CD
(4)YABBC
(CD)(5)YLMMNNL
[2-8]将下列各式化为最大项之积的形式。(1)Y(AB)(ABC)(2)YABC
(3)YABCBCABC(4)YBCDCAD
(5)Y(A,B,C)(m1,m2,m4,m6,m7)
[2-9]用卡诺图化简法将下列函数化为最简与或形式。
(1)YABCABDC DABCACDACD(2)YABACBCCD(3)YA BBCABABC(4)YA BACBC
(5)YAB CA BADCBD
(6)
Y(A,B,C,)
(m0,m1,m
2,m
5,m6,m7)
(7)Y(A,B,C,)(m1,m
3,m5,m7)
(8)
Y(A,B,C,D)(m0,m1,m2,m
4,m6,m8,m9,m10,m11,m14)
(9)
Y(A,B,C,D)(m0,m1,m2,m5,m8,m9,m10,m12,m14)
[2-10]化简下列逻辑函数(方法不限)(1)YABACC DD
(2)YA(CDCD)BCDACDACD(3)Y(AB)D(A BBD)CA CBDD(4)YABDA B CDBCD(ABC)(BD)(5)YAB CDACDEBDEAC DE [2-11]证明下列逻辑恒等式(方法不限)(1)ABBABAB
(2)(AC)(BD)(BD)ABBC(3)(ABC)CD(BC)(ABDB C)1
(4)ABCDABCDABCDABCDACACBDBD(5)A(CD)BCDACDABCDCD [2-12]试画出用与非门和反相器实现下列函数的逻辑图。(1)YABBCAC
(2)Y(AB)(AB)CB C
(3)YABCABCABC
(4)YABC(ABA BBC)
[2-13]试画出用或非门反相器实现下列函数的逻辑图。(1)YABCBC
(2)Y(AC)(ABC)(ABC)(3)Y(ABCBC)DA BD
(4)YCD BC ABC D
[2-14]对于互相排斥的一组变量A、B、C、D、E(即任何情况下A、B、C、D、E不可能有两个或两个以上同时为1),试证明:
AB C D EA,ABC D EB,A BCD EC,A B CDED,A B CDEE
[2-15]将下列函数化为最简与或函数式。
(1)YACDA BCDAB CD给定约束条件为
ABCDABCDABC DABCDABCDABCD0
(2)YCD(AB)ABCA CD,给定约束条件为ABCD0(3)Y(ABB)CD(AB)(BC),给定约束条件为
ABCABDACDBCD0
(4)
Y(A,B,C,D)
(m,m5,m6,m7,m10),给定约束条件为
m0m1m2m4m80
(5)
Y(A,B,C)
(m,m1,m2,m4),给定约束条件为
m3m5m6m70
(6)
Y(A,B,C,D)
(m,m3,m7,m8,m11,m14),给定约束条件为
m0m5m10m150
[2-16]用卡诺图将下列含有无关项的逻辑函数,化简为最简的“与或”式,“与非”式,“与或非”式。(1)Y(2)Y(3)Y
(0, 1, 5, 7, 8, 11, 14)
d
(3, 9, 15)
(3, 7, 8, 14)
(1, 2, 5, 6, 10, 11, 12, 15)
d
d
0,2,3,6,9,10,157,8,11
(4)Y0,2,3,7,8,10,13d5,6,11
[2-17]利用卡诺图之间的运算将下列逻辑函数化为最简与或式(1)YABACBDABCDACDBCDBC(2)YABCABCACABCDABCCD(3)YADCDCDACDABCADCD
(4)YACDBDBDABDBDBCD