0:00
Độ khó: Chuyên GiaDanh mục: Tương Đương LogicLoại: Kiểm Tra Tương Đương

Biểu thức sau có thỏa mãn được không (có thể làm cho nó đúng không)?

(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)

Xác định xem có tồn tại một phép gán giá trị chân lý nào làm cho biểu thức này đúng hay không.