Biểu thức $(P \wedge Q) \to (P \vee Q)$ tương đương logic với biểu thức nào sau đây?

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 

{(1,b), (a,b)}

{(1,1), (1,b), (a,1), (a,b)}

{(1,1), (1,b), ( $\phi$ ,1), ( $\phi$ ,b), (a,b)} 

{(1,1), (1,b), (a,b), $\phi$ } 

65

34

68

-65

64

16

32

128