Cho A là tập hữu hạn, B là tập vũ trụ. Phần bù của A trong 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. Tập chứa tất cả các phần tử chỉ thuộc A hoặc chỉ thuộc B, đồng thời thuộc cả A và

B. B. Tập chứa tất cả các phần tử chỉ thuộc A hoặc chỉ thuộc B, không đồng thời thuộc cả A và B.

C. Tập chứa tất cả các phần tử chỉ thuộc A và thuộc B, không đồng thời thuộc cả A và B.

D. Tập chứa tất cả các phần tử chỉ thuộc A và thuộc B, đồng thời thuộc cả A hoặc B.

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