JavaScript is required

Biểu thức (P ∧ Q) → (P ∨ Q) tương đương logic với biểu thức nào sau đây?

A.

(P∧Q) ∨ (P∨Q)

B.

(P∧Q) ∨ Biểu thức (P ∧ Q) → (P ∨ Q) tương đương logic với biểu thức nào sau đây? (ảnh 1)

C.

Biểu thức (P ∧ Q) → (P ∨ Q) tương đương logic với biểu thức nào sau đây? (ảnh 2)

D.

Biểu thức (P ∧ Q) → (P ∨ Q) tương đương logic với biểu thức nào sau đây? (ảnh 3)

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.

Câu hỏi liên quan