Lewis Carroll's Diagrams
Lewis Carroll's Diagrams
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.
s
p
m
S
P
M