Số màu của đồ thị C_n (với n lẻ) là:

Giữa hai đỉnh bất kỳ \(u,v \in V\) luôn tồn tại đường đi từ u đến v

Nếu \(u,v \in V\), thì tồn tại v khác u sao cho v liên thông với u

Nếu \(u,v \in V\), thì với mọi v khác u đều kề với u

Nếu \(u,v \in V\), thì tồn tại đỉnh v khác u kề với 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