Cho A và B là hai tập hợp. Hiệu đối xứng của A và B được ký hiệu A - B, là:

A. p ∧ (p ∨ q) ⇔ p; p ∨ (p ∧ q) ⇔ p

B. p ∨ 1 ⇔ 1; p ∧ 0 ⇔ 0

C. p ∨ 0 ⇔ p; p ∧ 1 ⇔ p

D. p ∨ p ⇔ p; p ∧ p ⇔ p

A. \[\overline P \wedge Q\]

B. \[\overline P \vee Q\]

C. \[\overline P \wedge Q\]

D. \[P \wedge \overline Q \]

A. \[p \wedge \left( {q \vee r} \right) \Leftrightarrow \left( {p \wedge q} \right) \vee \left( {p \wedge r} \right);p \vee \left( {q \wedge r} \right) \Leftrightarrow \left( {p \vee q} \right) \wedge \left( {p \vee r} \right)\]

B. \[p \wedge \left( {q \vee r} \right) \Leftrightarrow \left( {p \wedge q} \right) \wedge r;p \vee \left( {q \wedge r} \right) \Leftrightarrow \left( {p \vee q} \right) \vee r\]

C. \[p \wedge \left( {q \vee r} \right) \Leftrightarrow \left( {p \vee q} \right) \vee \left( {p \vee r} \right);p \vee \left( {q \wedge r} \right) \Leftrightarrow \left( {p \wedge q} \right) \wedge \left( {p \wedge r} \right)\]

D. \[\overline {p \wedge q} \Leftrightarrow \overline p \vee \overline q ;\overline {p \vee q} \Leftrightarrow \overline p \wedge \overline q \]

A. Định nghĩa, biến đổi tương đương logic

B. Lập bảng giá trị chân lý và kết luận theo định nghĩa

C. Biến đổi tương đương logic

D. Chứng minh trực tiếp

A. p ∧ (p ∨ q) ⇔ p; p ∨ (p ∧ q) ⇔ p

B. p ∨ 1 ⇔ 1; p ∧ 0 ⇔ 0

C. p ∨ 0 ⇔ p; p ∧ 1 ⇔ p

D. p ∨ p ⇔ p; p ∧ p ⇔ p

A. p ∧ (p ∨ q) ⇔ p; p ∨ (p ∧ q) ⇔ p

B. p ∨ 1 ⇔ 1; p ∧ 0 ⇔ 0

C. p ∨ 0 ⇔ p; p ∧ 1 ⇔ p

D. p ∨ p ⇔ p; p ∧ p ⇔ p