Phương pháp phản chứng là phương pháp?

Đơn thức trong đại số Boolean là một tích của các biến hoặc phủ định của chúng. Mỗi biến xuất hiện trong tích nhiều nhất một lần. Ví dụ, nếu ta có các biến x, y, z, thì x.y.z, x.y'.z, x'.y'.z' là các đơn thức. Ở đây, x' (hoặc \(\overline x \)) biểu diễn phủ định của x.

Như vậy, đáp án đúng là:

"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}} \))"

Dạng chính tắc tuyển (hay còn gọi là dạng chuẩn tắc tuyển, dạng nối rời chính tắc, disjunctive normal form - DNF) của một hàm Boole là một biểu thức logic được biểu diễn dưới dạng tổng (OR) của các tích (AND) của các biến hoặc phủ định của chúng. Mỗi tích trong tổng được gọi là một minterm (từ tối tiểu). Vì vậy, đáp án đúng là 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).

Mệnh đề là câu khẳng định hoặc phủ định có giá trị chân lý xác định (đúng hoặc sai).

Xét từng câu:

A. “Lan thích học toán.”

→ Đây là câu nêu sở thích của một cá nhân.

→ Không thể xác định chắc chắn là đúng hay sai nếu không có thông tin thực tế.

→ Do đó, không phải mệnh đề.

B. “Lan không thích học toán.”

→ Đây là câu phủ định → có thể đúng hoặc sai.

→ Là mệnh đề.

C. “Không ai thích học toán.”

→ Đây là câu khẳng định về mọi người → có thể kiểm chứng.

→ Là mệnh đề.

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

→ Cũng là câu khẳng định, có giá trị chân lý.

→ Là mệnh đề.