Biểu thức (P ∧ Q) → (P ∨ Q) tương đương logic với biểu thức nào sau đây?
Trả lời:
Đáp án đúng: C
Biểu thức (P ∧ Q) → (P ∨ Q) tương đương logic với ¬(P ∧ Q) ∨ (P ∨ Q). Ta có thể viết lại như sau: (¬P ∨ ¬Q) ∨ (P ∨ Q). Sau đó, sắp xếp lại thành (¬P ∨ P) ∨ (¬Q ∨ Q), biểu thức này luôn đúng (True).
Phương án C: ¬(P ∧ Q) ∨ (P ∨ Q) tương đương với (¬P ∨ ¬Q) ∨ (P ∨ Q) tương đương với (¬P ∨ P) ∨ (¬Q ∨ Q) tương đương với True.





