Đồ thị vô hướng G = (V,E) được gọi là liên thông nếu.

K, I, A, C, E, G, B, D, F, H 

K, I, A, B, C, D, E, F, G, H

K, I, A, B, C, D, F, H, G, E

K, A, C, D, B, I, G, H, F, E

\((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\)