BÀI TẬP-chương 2-kts

1. Diễn tả mỗi mệnh đề dưới đây bằng một biểu thức logic:

a/ Tất cả các biến A,B,C,D đều bằng 1

b/ Tất cả các biến A,B,C,D đều bằng 0

c/ Ít nhất 1 trong các biến X,Y,Z,T bằng 1

d/ Ít nhất 1 trong các biến X,Y,Z,T bằng 0

e/ Các biến A,B,C,D lần lượt có giá trị 0,1,1,0

2. Tính đảo của các hàm sau:

3. Chứng minh bằng đại số các biểu thức sau:

a/

b/

c/

d/

e/

4. Viết dưới dạng tổng chuẩn các hàm xác định bởi:

a/ f(A,B,C) = 1 nếu số nhị phân (ABC)₂ là số chẵn

b/ f(A,B,C) = 1 nếu có ít nhất 2 biến số = 1

c/ f(A,B,C) = 1 nếu số nhị phân (ABC)₂ >5

d/ f(A,B,C) = 1 nếu số biến số 1 là số chẵn

e/ f(A,B,C) = 1 nếu có 1 và chỉ 1 biến số =1

5. Viết dưới dạng tích chuẩn các hàm ở bài tập 4

6. Viết dưới dạng số các bài tập 4

7. Viết dưới dạng số các bài tập 5

8. Rút gọn các hàm dưới đây bằng phương pháp đại số (A = MSB)

9. Dùng bảng Karnaugh rút gọn các hàm sau: (A = MSB)

a/ f(A,B,C) = Σ size 12{Σ} {} (1,3,4)

b/ f(A,B,C) = Σ size 12{Σ} {} (1,3,7)

c/ f(A,B,C) = Σ size 12{Σ} {} (0,3,4,6,7)

d/ f(A,B,C) = Σ size 12{Σ} {} (1,3,4) . Các tổ hợp biến 6,7 cho hàm không xác định

f/ f(A,B,C,D) = Σ size 12{Σ} {} (5,7,13,15)

g/ f(A,B,C,D) = Σ size 12{Σ} {} (0,4,8,12)

h/ f(A,B,C,D) = Σ size 12{Σ} {} (0,2,8,10)

i/ f(A,B,C,D) = Σ size 12{Σ} {} (0,2,5,6,9,11,13,14)

j/ f(A,B,C,D) = Π(0,1,5,9,10,15)

k/ f(A,B,C,D) = Π (0,5,9,10) với các tổ hợp biến (2,3,8,15) cho hàm không xác định

l/ f(A,B,C,D,E) = Σ size 12{Σ} {} (2,7,9,11,12,13,15,18,22,24,25,27,28,29,31)

m/ f(A,B,C,D.E) = (0,2,8,10,13,15,16,18,24,25,26,29,31) với các tổ hợp biến (7,9,14,30) cho hàm không xác định

n/ f(A,B,C,D,E,F) = Σ size 12{Σ} {} (2,3,6,7,8,9,12,13,14,17,24,25,28,29,30,40,41,44,45,46,56,57,59,60,61,63)

o/ f(A,B,C,D,E,F) = Σ size 12{Σ} {} (9,11,13,15,16,18,20,22,25,27,29,31,32,34,36,38,41,43,45,47,48,50,52,54)

10. Làm lại các bài tập từ 9f bằng phương pháp Quine-Mc Cluskey.