Câu 1: Biểu thức logic sau có là hằng đúng không? Chứng minh.

(((p^q) ((x ^ y) v z))(p^q)) ((x v z) ^ (y v z))

Câu 2: Từ 1000 đến 2000 có bao nhiêu số chia hết cho 6 hoặc chia hết cho 9?
Câu 3:
a) Đồ thị K20,2 có bao nhiêu đỉnh, bao nhiêu cạnh? Đồ thị K20,2 có chu trình Euler, đường đi
Euler không? Giải thích.
b) Đồ thị W10 có bao nhiêu đỉnh, bao nhiêu cạnh? Đồ thị W10 có chu trình Euler, đường đi
Euler không? Giải thích.
Câu 4: Cho đồ thị được biểu diễn trong hình dưới đây.
a) Đồ thị có tính chất gì? (Đơn đồ thị hay
đa đồ thị? Có hướng hay vô hướng?
Có trọng số hay không có trọng số?
Có khuyên hay không khuyên?)
b) Biểu diễn đồ thị bằng ma trận kề.
c) Đồ thị có chu trình Hamilton hay
không? Vì sao?
d) Tìm đường đi ngắn nhất từ 1 đến 7?
e) Tìm cây khung nhỏ nhất của đồ thị.

Câu 5:
a) Xây dựng văn phạm chính quy sinh ngôn ngữ 0*1*(01) và Automat hữu hạn không tất định
đoán nhận biểu thức chính quy 0*1*(01).
b) Xây dựng máy hữu hạn trạng thái có đầu ra để mô tả một máy bán nước tự động
+ Chỉ nhận các tờ tiền 10 nghìn đồng, 20 nghìn đồng. Nhận quá 30 nghìn đồng trả lại
tiền.
+ Giá nước khoáng là 10 nghìn, Coca 20 nghìn, bánh ngọt 30 nghìn đồng. Ấn nút màu
trắng ra nước khoáng, ấn nút màu đỏ ra Coca, ấn nút màu xanh ra bánh ngọt nếu đủ tiền trong
máy để mua các loại tương ứng.
c) Xây dựng máy Turing biến đổi dãy bit x1x2..xn trên băng thành xnx1x2..xn-1. Chú ý, hai đầu của
dãy bit trên băng nhớ trước và sau đều là kí hiệu B.