Studies of Euler diagrams/examples

From Wikiversity
Jump to navigation Jump to search

dummy


miniri[edit | edit source]

Euler diagram (cylindric)
EuDi; miniri.svg EuDi; miniri spots.svg

This is a filtrate of barita. See here.


medusa[edit | edit source]

A good Euler diagram of this Boolean function needs 3 dimensions.

Euler diagram (cylindric)
EuDi; batch 2; 1 Euler.svg EuDi; batch 2; 1 Euler spots.svg


barogi[edit | edit source]

This representation is inflated. The Boolean function is sufficiently represented by the red-yellow Euler diagram (A, D).
The green-blue Venn diagram (B, C) does not add information. But the corresponding circles e.g. in barita are relevant. So are those in the gap variants vidita and vanatu.

Euler diagram
EuDi; batch 2; 4 Euler.svg EuDi; batch 2; 4 Euler spots.svg

bareto[edit | edit source]

This is like barogi shown above, but with the additional information, that B and C are complements:     .
This is a 4-ary Boolean function, whose bloatless part is the 2-ary barogi.   (It is a special case, that the arguments of the bloatless and bloat part are disjoint.)

basori[edit | edit source]

This representation is also inflated. Only the red-yellow-brown Euler diagram (A, D, E) matters.
The green-blue Venn diagram (B, C) does not add information. But the corresponding circles in basiga are relevant.

Euler diagram
EuDi; batch 2; 6 Euler.svg EuDi; batch 2; 6 Euler spots.svg


barita[edit | edit source]

The green-blue (B, C) and brown-magenta (E, F) Venn diagrams would be separate bundles, if they were not trisected by the red-yellow Euler diagram (A, D).
In the graph this is a multiplication, and in the formula it is a conjunction. Compare the filtrates.

Euler diagram and graph
EuDi; batch 2; 5 Euler.svg EuDi; batch 2; 5 graph.svg

basiga[edit | edit source]

Without the small bundle (F, G, H) the surrounding one would be just the red-yellow-brown Euler diagram (A, D, E), as in basori.
But as the small bundle is only in B, and not in C, the green and blue circles are also needed.

If the inner bundle were on its own, it would fall apart into the circles F and H. The circle G would just bisect that Boolean function, adding no information. But in the nested bundle, the circle G is relevant. Removing it would mean, that G implicitly bisects the whole Boolean function (including A...E). But actually it bisects only one cell of the surrounding bundle, namely the one where only B and D intersect.

Compare the gap variants and filtrates.

Euler diagram and graph
EuDi; batch 2; 7 Euler.svg EuDi; batch 2; 7 graph.svg

putuki[edit | edit source]

Euler diagram (matrix)        graph
EuDi; putuki matrix.svg EuDi; batch 2; 2 graph.svg
Compare piferi, where spot 0 is a gap.

dukeli[edit | edit source]

This graph is like the matrix graph above, without vertex 9. It is drawn on a sphere in an attempt to create a "good" graph with a convex outline.
The parallelity of great circles is sufficiently vague, to allow three collinear edge pairs, while edges of the same color are still parallel.

Euler diagram and graph
EuDi; batch 2; 3 Euler.svg EuDi; batch 2; 3 graph sphere.svg