Studies of Euler diagrams

Studies of Boolean functions

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
• list of example functions
• terminology used in this project
• sequences

examples

medusa

Euler diagram, graph and formula tree

blightless   (examples by clan)

multi-bundle

4-ary bundles

blighted   (reducible arity)

bloated

blotted

clans, transformations, tables

dukeli NP

table of tabita

gapspots

gap variants

hard and soft

filtrates

splits

3 possible relationships between 2 different splits

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

decompose

decomposition into three bundles

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

ternary labels

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.

grids

formula trees

To do

• How are Euler diagrams related to hypergraphs?