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).

Its arity can easily be reduced by separating simple information from the information that should 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.