This Demonstration shows Carroll's diagrams of a Boolean function of three propositional variables , and that correspond to membership in the sets , and . Click the rectangles or L-shaped regions to indicate they are nonempty. The Boolean function is given by minimizing its disjunctive normal form.