0:00
Chuyên GiaTương Đương LogicKiể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.