CẤU TRÚC RỜI RẠC

ĐỒ ÁN MÔN HỌC
Đồ Án 5

LOGIC

1. Dùng quy tắc suy luận chứng minh rằng

2. Chứng minh biểu thức mệnh đề sau là hằng sai

CHỨNG MINH

3. Chứng minh rằng

PHÉP ĐẾM
4. Tìm hệ thức truy hồi cho số các xâu nhị phân chứa xâu 01.
5. Trong tổng số 2504 sinh viên của một khoa công nghệ thông tin, có 1876 theo học môn
ngôn ngữ lập trình Pascal, 999 học môn ngôn ngữ Fortran và 345 học ngôn ngữ C. Ngoài
ra còn biết 876 sinh viên học cả Pascal và Fortran, 232 học cả Fortran và C, 290 học cả
Pascal và C. Nếu 189 sinh viên học cả 3 môn Pascal, Fortran và C thì trong trường hợp
đó có bao nhiêu sinh viên không học môn nào trong 3 môn ngôn ngữ lập trình kể trên.
QUAN HỆ

6. Vẽ biểu đồ Hasse cho S với quan hệ thứ tự tương ứng.

(S = {1, 2, 3, 4, 5, 6, 7, 8}, ⋮)
(S = {1, 2, 3, 6, 12, 24, 36, 48}, |)
7. Cho A={-2,-1,0,1,2,3,4,5}, xét quan hệ hai ngôi R trên A như sau:
xRy ⇔ x - 3y chẵn.
a. Chứng minh R là quan hệ tương đương.
b. Tìm các lớp tương đương [1]R, [2]R .
Trang 1
ĐẠI SỐ BOOL

8. Cho hàm Bool 𝑓: 𝐵4 → 𝐵, 𝐹 = 𝑤𝑥𝑦𝑧 + 𝑤𝑥𝑦𝑧 + 𝑤𝑥𝑦𝑧 + 𝑤𝑥𝑦𝑧 + 𝑤𝑥𝑦𝑧

a. Tìm dạng chính tắc tuyển (dạng nối rời chính tắc) cho hàm Bool f .
b. Hãy tìm (các) công thức đa thức tối tiểu cho hàm Bool này.
c. Vẽ sơ đồ mạch cho một (trong số các) công thức đa thức tối tiểu tìm được ở câu b.

Trang 2