Studies of Euler diagrams
Jump to navigation
Jump to search
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.
See the criteria for good Euler diagrams and the list of example functions. See also sequences of numbers.
examples[edit | edit source]
Euler diagram, graph and formula tree
blightless (examples by EC)[edit | edit source]
multi-bundle
blighted (reducible arity)[edit | edit source]
NP and transformations[edit | edit source]
gapspots[edit | edit source]
filtrates[edit | edit source]
splits[edit | edit source]

A split is a generalization of a set without the notion of inside and outside. It just splits the universe in two sides.
decompose[edit | edit source]

decomposition into bundles, i.e. parts of the Euler diagram that are connected by crossing circles
ternary labels[edit | edit source]
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[edit | edit source]

formula trees[edit | edit source]

algebraic normal form and Zhegalkin index[edit | edit source]



Wikimedia Commons has media related to Studies of Euler diagrams.