Studies of Euler diagrams

dummy

This resource shows the Euler diagrams for many Boolean functions, and aims to find a systematic way to draw them.
This is part of the documentation of a software, that is not yet published.

• criteria for good Euler diagrams
• examples (list of named Boolean functions)
• terminology used in this project
• sequences

medusa

Euler diagram, graph and formula tree

multi-bundle

4-ary bundles

bloated

blotted

dukeli NP

gap variants

hard and soft

A split is a generalization of a set without the notion of inside and outside. It just splits the universe in two sides.

decomposition into bundles, i.e. parts of the Euler diagram that are connected by crossing circles

labels with 3 and 4 digits

While the cells can be labeled with binary numbers, all segments (including edges and vertices) can be labeled with balanced ternary numbers.

• How are Euler diagrams related to hypergraphs?

Wikimedia Commons has media related to Studies of Euler diagrams.