Tập hợp là:

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. 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. 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. Biểu thức chỉ nhận chân trị đúng khi các biến mệnh đề nhận chân trị đúng

B. Biểu thức nhận chân trị đúng trong mọi trường hợp về chân trị của bộ biến mệnh đề.

C. Biểu thức nhận chân trị sai trong mọi trường hợp về chân trị của bộ biến mệnh đề

D. Biểu thức chỉ nhận chân trị sai khi các biến mệnh đề nhận chân trị sai

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. Các mệnh đề

B. Các vị từ

C. Các biến mệnh đề

D. Các phép toán logic