BÀI TẬP CHƯƠNG 4 (Phần 1)

Bài 1:Cho =* + là tập hợp các ước dương của 70. Trên ta
trang bị các phép toán được định nghĩa như sau:
a+b = LCM(a,b) : BCNN của a và b

a*b = GCD(a, b): UCLN của a và b

a’=

a) CMR: là một đại số Bool.

b) Xét 2 tập con của X=* + và Y=* +. Khi đó X, Y có
phải là các đại số con của hay không? Vì sao?

Bài 2: Chứng minh rằng:

a) ( )( ̅)
b) ( )
c) ( )
d) ( xy  x . y )  xy  xy
e) x yz  yz  x ( yz  yz)  ( xy  xy) z  zxy  xy

Bài 3: Tìm dạng nối rời chính tắc của hàm sau:

a) ( ) ( )
b) F(x,y,z) = x+y+ x
c) F(x,y,z) = x+y+z
d) F(x,y,z,t) =
e) F(x, y, z, t) = ̅ ( )̅ (̅ ) ( ̅ ̅ )̅
f) F(x, y, z, t) = ( ̅ ̅ )(̅ ) ( ̅ )̅ ̅̅

Bài 4: Tìm các biểu thức Bool biểu diễn các hàm F ( x, y, z) và G( x, y, z ) với bảng chân
trị sau:

x y z F G
1 1 1 0 0
1 1 0 0 1
1 0 1 1 0
1 0 0 0 0
0 1 1 0 1
0 1 0 0 0
0 0 1 0 0
0 0 0 0 0
Bài 5: Tìm công thức đa thức tối tiểu của các hàm sau:
a) F  xyz  xyz  xyz  xyz
b) F  xyz  xyz  xy z  xy

c) F  xy  xy  xy  x y
d) F  ( y  z )( y  z)  x  y  z

e) F  ( x  y  xy )( xy  xz  yz)

f) F  ( x  y)( x  y)

g) F  xzxyk  xyz k  xyz

Bài 6: Dùng phương pháp Karnaugh tối tiểu hóa các hàm 3 biến sau:

a) F  xyz  xyz  xyz  x yz  x y z

b) F  xy  xyz  xyz  xyz  x y z
c) F  xy z   x yz  x y z  x yz  x yz
d) F  xyz  x yz  x y z  x yz  x y z  x y z

Bài 7: Dùng phương pháp Karnaugh tối tiểu hóa các hàm 4 biến sau:

a) F  wxyz  wx yz  wx y z  w x y z  w x yz
b) F  wxy z  wx yz  w x yz  wx yz  w x y z  w x yz
c) F  wxyz  wxy z  wx yz  w x yz  w x y z  wx yz  w x y z  w x yz
d) F  wxyz  wxy z  wx yz  w x yz  w x y z  wxyz  w x yz  w x y z  w x yz

Bài 8: Dùng phương pháp Quine-McCuskey tối tiểu hóa các hàm sau:

a) F  xyz  x yz  x y z  x yz
b) F  wxyz  wx yz  wx y z  w x y z  w x yz
c) F  wxy z  wx yz  w x yz  wx yz  w x y z  w x yz
d) F  wxyz  wxy z  wx yz  w x yz  w x y z  wx yz  w x y z  w x yz
e) F  wxyz  wxy z  wx yz  w x yz  w x y z  wxyz  w x yz  w x y z  w x yz
f) F = ̅ ̅ ̅zt + ̅x ̅zt + ̅ ̅ zt + w ̅ ̅zt + w ̅ yzt + ̅xyzt + wxyzt