0:00
Độ khó: Chuyên GiaDanh mục: Tương Đương LogicLoại: Kiểm Tra Tương ĐươngBiể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.