Mô phỏng Mệnh đề và tập hợp

Hai hoặc ba tập hợp A, B, C vẽ bằng biểu đồ Ven trong tập U = {1; 2; …; N}, mỗi phần tử nằm đúng vùng của nó. Học sinh bấm nút phép toán (hợp, giao, hiệu, phần bù) hoặc bấm trực tiếp từng vùng để tô; danh sách phần tử và số phần tử n(·) của kết quả hiện ngay, kèm công thức n(A ∪ B) = n(A) + n(B) − n(A ∩ B).