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

\((P \wedge (P \to Q)) \to Q\)

\((\overline P \wedge (P \to Q)) \to Q\)

\((\overline Q \wedge (P \to Q)) \to \overline P \)

\((\overline P \wedge (P \to Q)) \to \overline Q \)

\((P \wedge (P \to Q)) \to Q\)

\((\overline P \wedge (P \to Q)) \to Q\)

\((\overline Q \wedge (P \to Q)) \to \overline P \)

\((\overline P \wedge (P \to Q)) \to \overline Q \)

Luật cộng

Luật rút gọn

Luật khẳng định

Luât phủ định

f = xy

f = y

f = x+y

f = x

Cho G là đồ thị bất kỳ. Một đường đơn trong G là đường Euler khi và chỉ khi đường đơn đó đi qua tất cả các cạnh trong G và mỗi cạnh xuất hiện đúng một lần

Cho G là đồ thị bất kỳ. Một đường đơn trong G là đường Euler khi và chỉ khi đường đơn đó đi qua tất cả các đỉnh trong G và mỗi đỉnh xuất hiện đúng một lần

Cho G là đồ thị bất kỳ. Một đường đi trong G là đường Euler khi và chỉ khi đường đơn đó đi qua các cạnh trong G

Cho G là đồ thị bất kỳ. Một đường đơn trong G là đường Euler khi và chỉ khi đường đơn đó đi qua tất cả các đỉnh trong G

12

18

29

30

65

34

68

-65

4

60

52

56

0

5

{a,2,b,3,d}

\(\Phi\)

2⁹⁸

4950

50

9900