Lewis Carroll's Diagrams

Boolean function:

(m∧p∧¬s)∨(m∧¬p∧s)∨(¬m∧p∧s)∨(¬m∧¬p∧¬s)

This Demonstration shows Carroll's diagrams of a Boolean function of three propositional variables

s

,

p

and

m

that correspond to membership in the sets

S

,

P

and

M

. Click the rectangles or L-shaped regions to indicate they are nonempty. The Boolean function is given by minimizing its disjunctive normal form.