The free distributive lattices of monotonic Boolean functions on up to three variables
The Boolean functions are represented by their Hasse diagrams. (Which are dual to Venn diagrams, as can be seen  here.)
A Boolean function is monotonic, when in it's Hasse Diagram there is no 1 (red vertex) connected to a higher 0 (white vertex).
To avoid confusion:
There are four big Hasse diagrams with gray vertices in this file, and they represent lattices of monotone Boolean functions.
In the gray vertices are also Hasse diagrams, and they represent the Boolean functions.
In the vertices of the leftmost Hasse diagram are degenerate Hasse diagrams with only one vertex.
The description of the rightmost Hasse diagram can be included as imagemap:

Lattices of monotonic Boolean functions (move mouse over right diagram to see description)The imagemap links to files, where several Boolean functions are shown.
The monotone function is always in the top right position.


This SVG was created with Inkscape.
Monotone Boolean functions.svg
WatchduckYou can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".