# Studies of Euler diagrams/decompose

## Shape of the Euler diagram[edit | edit source]

These images represent the 4-ary Boolean function .

It is true in 6 of 16 cases,
and is part of BEC 127 (rows (22,2) and (23,0)).

The images below show the truth table with false places grayed out, the Euler diagram, and the corresponding graph.

The images on the right show the decomposition into three *bundles*, i.e. parts of the Euler diagram that are connected by crossing circles.

For this particular Boolean function, the colored squares can be seen as true.

The colored truth tables on the left represent the cells of the bundle, i.e. all cells that touch one of its circles.

The gray/white truth tables on the right are always minterms, and represent the position of the bundle in relation to every other set, i.e. inside or outside of it.

## Gap variants[edit | edit source]

Light gray areas of the Euler diagram are empty, i.e. the corresponding fields in the truth table are false.
The Euler diagram could not be drawn without these *gap cells*, because each border can belong to only one set, and crossing it corresponds to a change of one bit.

Truth table fields in dark gray do not have corresponding fields in the Euler diagram. (They are the same in each file.)

There seem to be only four Boolean functions with this Euler diagram shape. Many cells could not be empty, without changing the shape of the Euler diagram. E.g. the intersection of *A* and *B* can not be empty, because then the two circles would be separate. And the left crescent can not be empty, because then *A* would be within *B*. And no set can be empty, because that would make it's complement the universe, which should be displayed as the border of the Euler diagram.

(colors) |
---|

kibime (gapless) |
---|

murife |
---|

menabe |
---|

tefabi |
---|

wrong example fobope (blotted) |
---|