Studies of Euler diagrams/bloated
A Boolean function is bloated, if some of its sets are equal or complementary to each other.
(In terms of splits it means that some splits are equal.)
It is not useful to complicate an Euler diagram with that kind of information.
Instead it makes sense to separate the information, and to make an Euler diagram for the bloatless part.
The bloat part can be expressed as an extended set partition.
It has the usual blocks of equivalent elements, and the additional feature, that two blocks can be complements.
TL;DR: A bloated Boolean function has a high arity, but the gist of it can be expressed by one with a lower arity.
A Boolean function about smokers, non-smokers and wine drinkers is bloated, and should be reduced to one about smokers and wine-drinkers.
The fact that smokers and non-smokers are complementary sets does not deserve to be represented in an Euler diagram.
tokosi (3/5)[edit | edit source]
This Boolean function has 5 arguments, but only 3 of them are independent.
Only the white areas in the Edwards–Venn diagram are true. Only the white and gray areas are interesting.
The orange and greenish areas describe the bloat:
The orange area means, that D and E are equal, the greenish area means, that B is their complement.
This is the bloat in short notation: (The sign is used to express, that the values on both sides are complements.)
B was chosen to represent the redundant arguments in the Euler diagram. (Here the bloat is also shown as an Euler diagram, but generally this is not useful.)
more 5-ary examples[edit | edit source]
As in the example above, only the white areas are true.
In all these four functions A and C are complements, which is indicated by the greenish area.
In the last function A is also equal to E, which is indicated by the additional brown area.
To make a bloatless diagram, one has to choose which side of the complement pair should represent it. Here both variants are shown for each function.
other examples[edit | edit source]
|This function is . The bloatless part is , and the bloat is . .|
There are also some bloated functions among the blotted examples.