Drag and drop elements into sets to see their relationships.
Visualizes set algebra on 2-set and 3-set universes \(\mathcal{U}\). Partitions the universal set into \(2^n\) mutually disjoint Boolean minterm regions. Principle of Inclusion-Exclusion for 3 sets: \(|A \cup B \cup C| = |A| + |B| + |C| - (|A \cap B| + |B \cap C| + |A \cap C|) + |A \cap B \cap C|\). De Morgan's laws and set identities visually verified by region shading.