Lewis Carroll's Diagrams

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
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.
Contributed by: Izidor Hafner (August 2016)
Open content licensed under CC BY-NC-SA
Snapshots
Details
This version of Carroll's diagrams was found in [2, p. 112]. See also [5].
References
[1] R. Audi, ed., The Cambridge Dictionary of Philosophy, Cambridge: Cambridge University Press, 1995 pp. 780–782.
[2] L. Borkowski, Elementy logiki formalnej (Elements of Formal Logic, in Polish), 3rd ed., Warsaw: Wyd, 1976.
[3] L. Carroll, Symbolic Logic and the Game of Logic, New York: Dover, 1958.
[4] I. M. Copi and C. Cohen, Introduction to Logic, 9th ed., New York: Macmillan, 1994 pp. 214–218.
[5] Wikipedia. "Categorical Proposition." (Aug 16, 2016) en.wikipedia.org/wiki/Categorical_proposition.
Permanent Citation
"Lewis Carroll's Diagrams"
http://demonstrations.wolfram.com/LewisCarrollsDiagrams/
Wolfram Demonstrations Project
Published: August 17 2016