Studies of Euler diagrams/blighted

dummy

A Boolean function is blighted, if it is bloated or blotted.

It is bloated, if some arguments are equal or complementary to each other.
It is blotted, if some arguments are equal or complementary to the universe (or the empty set).

A blighted BF can be reduced to one with a smaller valency.
The blight is expressed as a set partition extended with complements between blocks.
The remaining blightless BF can be expressed in an Euler diagram.

bloated

tokosi is a 5-ary function whose bloatless part is 3-ary.

bareto is a 4-ary function whose bloatless part is 2-ary.

blotted

Set C in fobope is empty.

Set H in lapava is the universe.