Cho tập hợp $E=\{1;2;3;4;5;6;7;8;9\}$ và các tập hợp con $A=\{1;2;3;4\}$, $B=\{2;4;6;8\}$. Xác định $C_{E}A$, $C_{E}B$, $C_E(A\cup B)$, $C_{E}A\cap C_{E}B$

(AI giải đề cho tôi)
Ta có $E=\{1;2;3;4;5;6;7;8;9\}$, $A=\{1;2;3;4\}$, $B=\{2;4;6;8\}$.

- $C_{E}A=\{5;6;7;8;9\}$ (các phần tử của $E$ không thuộc $A$).
- $C_{E}B=\{1;3;5;7;9\}$ (các phần tử của $E$ không thuộc $B$).
- $A\cup B=\{1;2;3;4;6;8\}$, nên $C_E(A\cup B)=\{5;7;9\}$.
- $C_{E}A\cap C_{E}B=\{5;6;7;8;9\}\cap \{1;3;5;7;9\}=\{5;7;9\}$.

Nhận xét: kết quả $C_{E}A\cap C_{E}B=C_E(A\cup B)$ đúng theo luật De Morgan, kiểm tra tính nhất quán của bài toán.