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.

Euler diagram, graph and formula tree


blightless   (examples by clan)

edit
multi-bundle

blighted   (reducible arity)

edit


 
table of tabita



 
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.


 
decomposition into three bundles

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.


 


 

To do

edit