Câu 1.

Chứng minh rằng các cặp mệnh đề phức hợp sau là tương đương
logic: p  q và q  p .
~p v q = q v ~p = ~(~q) v ~p = ~q -> ~p

Câu 2*. Đếm số hình vuông tạo được có 4 đỉnh là 4 điểm trong lưới điểm ở
hình bên?

Câu 3.
a) Hãy tìm ma trận kề của K2, 3.
b) Tìm số đường đi độ dài 3 và 4 từ một đỉnh bậc 3 đến một đỉnh bậc 2.
c*) Đồ thị nào trong hai đồ thị sau Q5, Q10 có chu trình Hamilton? chu trình Euler? Giải thích?
Câu 4. Giả sử một đơn đồ thị phẳng, liên thông và không có chu trình độ dài 4 hoặc nhỏ hơn.
Chứng minh rằng: e  (5 / 3)v  (10 / 3) nếu v  4.
Câu 5. a) Dựng ôtômát hữu hạn đoán nhận tập 0*11(10)*.
b) Hãy xây dựng văn phạm G=<V, T, S, P> sinh ra tập trên.