Bậc của đỉnh trong đồ thị có hướng G là:

n, n+1

n, n

n, n-1

n, 2n

Đúng một lần

Luôn nhiều hơn một lần

Không quá một lần

Không xác định

Đồ thị có hướng có trọng số

Đồ thị vô hướng có trọng số bất kỳ

Đồ thị vô hướng

Đồ thị vô hướng có trọng số dương

Tập hợp tất cả các cung (v_i , v_j) sao cho hoặc v_i x X, v_j x Y và v_j x X, v_i x Y

Tập hợp tất cả các cung (v_i, v_j) sao cho hoặc v_i x X, v_j x Y hoặc v_j x X, v_i x Y

Tập hợp tất cả các cung (v_i , v_j) sao cho hoặc v_i x X, v_j x X hoặc v_j x X, v_i x Y

Tập hợp tất cả các cung (v_i , v_j) sao cho hoặc v_i x X, v_j x Y hoặc v_j x Y, v_i x Y

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

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

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

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

\((P \wedge Q) \vee (P \vee Q)\)

\((P \wedge Q) \vee (\overline {P \vee Q} )\)

\((\overline {P \wedge Q} ) \vee (P \vee Q)\)

\((\overline {P \wedge Q} ) \wedge (P \vee Q)\)

Quy bài toán ban đầu về bài toán con đơn giản hơn

Giả sử điều cần chứng minh là sai để từ đó suy ra mâu thuẫn

Liệt kê tất cả các khả năng để từ đó đưa ra quyết định

Biểu diễn nghiệm của bài toán bằng các dữ kiện ban đầu

Một tích khác không của một số hữu hạn các từ đơn (xi hoặc \(\overline {{x_i}} \))

Một tổng khác không của một số hữu hạn các từ đơn (xi hoặc ̅\(\overline {{x_i}} \))

Một tích khác không của đúng n từ đơn

Một tổng khác không của đúng n từ đơn

Công thức biểu diễn hàm Boole thành tổng của các tích cơ bản (từ tối tiểu)

Công thức biểu diễn hàm Boole thành tích của các tích cơ bản (từ tối tiểu)

Công thức biểu diễn hàm Boole thành tổng của các đơn thức

4

6

8

10