Cho đồ thị như hình vẽ. Kết quả khi duyệt đồ thị theo thuật toán BFS(K):

Để xác định chân trị của biểu thức logic, ta thay các giá trị X = 0, Y = 0, Z = 1 vào biểu thức và tính toán.

1. Tính \(\neg\)X, \(\neg\)Y, và \(\neg\)Z:
   \(\neg\)X = \(\neg\)0 = 1
   \(\neg\)Y = \(\neg\)0 = 1
   \(\neg\)Z = \(\neg\)1 = 0
2. Tính (\(\neg\)X → \(\neg\)Y) và (\(\neg\)Y → \(\neg\)Z):
   (\(\neg\)X → \(\neg\)Y) = (1 → 1) = 1 (vì 1 → 1 là đúng)
   (\(\neg\)Y → \(\neg\)Z) = (1 → 0) = 0 (vì 1 → 0 là sai)
3. Tính v (\(\neg\)X → \(\neg\)Y ) v (\(\neg\)Y → \(\neg\)Z )
   (1 v 0) = 1 (vì phép OR chỉ sai khi cả hai đều sai)
4. Tính (\(\neg\)X → \(\neg\)Z):
   (\(\neg\)X → \(\neg\)Z) = (1 → 0) = 0

Vậy, chân trị của biểu thức là 1 và 0.

Tổng bậc của đồ thị bằng hai lần số cạnh. Gọi số cạnh của đồ thị là m. Theo đề bài, đồ thị có 8 đỉnh, mỗi đỉnh có bậc là 10. Vậy tổng bậc của đồ thị là 8 * 10 = 80. Do đó, 2 * m = 80, suy ra m = 40.