Studies of Euler diagrams

From Wikiversity
Jump to navigation Jump to search

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.

See the criteria for good Euler diagrams and the list of example functions.


examples[edit | edit source]

Euler diagram, graph and formula tree


blightless   (examples by BEC)[edit | edit source]

multi-bundle
bundles


blighted   (reducible arity)[edit | edit source]


gapspots[edit | edit source]


filtrates[edit | edit source]


splits[edit | edit source]

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[edit | edit source]

decomposition into three bundles

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]

EuDi; batch 2; 2 graph.svg


formula trees[edit | edit source]

EuDi; batch 4; a0 patterns.svg


conversions[edit | edit source]