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.
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.