Studies of Euler diagrams/blighted

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.