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. | ||
![]() |
![]() | |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
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.
tribes for arities 1, 2, 3 | ||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
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)
images for arity 3 | ||
---|---|---|
See overview on Commons. |