Bài toàn xây dựng cây khung nhỏ nhất của đồ thị được phát biểu trên:

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

Lan thích học toán

Lan không thích học toán

Không ai thích học toán

Mọi người trong lớp tôi đều thích học toán

20

15

35

5

250

200

160

150