TR NG CĐ CNTT TP.HCMƯỜ Đ THI H T MÔN TRR & LTDT - L N 1 2)
Khoa CNTT L P: C10 – năm h c 2011.
* * * (TG 90 phút – Không đ c xemi li u)ượ
Bài 1(1đ):
Ch ng minh bi u th c m nh đ sau là h ng đúng
((p q) → r) ((p q) ┐r)
Bài 2(3đ):
M t m t kh u ph i có đ dài t 5 đ n 7 ký t (không phân bi t ký t hoa, th ng), m i ký ế ườ
t đ c l y t b ng 26 ch cái. Tính s m t kh u có th t o ra trong m i tr ng h p sau: ượ ườ
a) Không có đi u ki n gì thêm.
b) Trong m t kh u ph i có đúng m t ký t A.
c) Trong m t kh u ph i có đúng m t ký t A và có đúng m t ký t B.
Bài 3(2đ):
Tìm các công th c đa th c t i ti u c a hàm Bool sau, b ng ph ng pháp bi u đ ươ
Karnaugh.
F(x,y,z,t) =
x
y
t
+
x
y
z
t +
x
y
z + xyt + xyz
t
+ x
z
t
Bài 4(1đ) :
M t đ n đ th ph ng liên thông ơ 19 c nh, 2 đ nh b c 4, các đ nh còn l i b c 3. Tìm
s đ nh, s mi n và v đ th .
Bài 5 (3đ):
Cho đ n đ th h ng G=(V,E) ma tr n tr ng s nh sau (d u - gi a 2 đ nhơ ướ ư
không có cung):
A B C D E F G
A
0
3
1 - -
5
-
B- 0 - - 2 1 -
C
- 1 0 5 1 -
-
D
3
-
- 0 - - 8
E- - 4 - 0 - 1
F4 - - - 7 0 2
G
2 - - - 3 1
50
V đ th . Th hi n s ho t đ ng c a thu t toán Dijkstra v i đ th trên, đ tìm đ ng ườ
đi ng n nh t t đ nh F đ n các đ nh còn l i. Li t kê các l trình này. ế
H t.ế