Properties of Boolean functions/soft

Studies of Boolean functions
Properties of
Boolean functions
hard soft
binary binary
integer integer
permutation permutation

Soft properties depend on the arity of the BF.


ultra equivalence classes

The two families on the left form a super-family.
The family on the right is a super-family on its own.
Together these two super-families form an ultra-family.

Families and clans can be merged with their complements, which creates super-families and super-clans.
Further merging them with their half-complements creates ultra-families and ultra-clans.
This family is a complete ultra-family: 1100 1010     (So its matrix of truth tables is mirror symmetric.)
(Factions do not have a unique half-complement, so there are no ultra-factions.)

tribe

For a given arity the tribe is the next biggest equivalence class after the ultra-clan.
Blunt BF belong to tribes denoted by their consul weight. All sharp BF belong to a tribe on their own.

principalities and dominions

A principality is a set of n-ary BF whose (n+1)-ary noble equivalents form a faction. Dominions are closely related.

squad, platoon and company

squad: union of a super-faction and its partner   (always two super-factions, i.e. four factions)
platoon: union of a squad and its twin   (one or two squads, i.e. four or eight factions)
company: union of a platoon and its friend   (one or two platoons)

Category:Properties of Boolean functions
Category:Properties of Boolean functions