Plans regarding isomorphism types of boolean functions (and generalisations)
More...
Go to the source code of this file.
Detailed Description
Plans regarding isomorphism types of boolean functions (and generalisations)
 Todo:
 The notion of isomorphism
 Todo:
 Enumerating isomorphism types

The article of [Alasdair Urquhart, Enumerating types of boolean functions, The Bulletin of Symbolic Logic, 2009, 15(3):273299] is the starting point.
 Todo:
 Considering special boolean functions

Permutations (see Experimentation/Investigations/BooleanFunctions/plans/Permutations.hpp) are of interest: can the general method be refined to yield the enumeration of all isomorphism types of permutations (as boolean functions)?
Definition in file IsomorphismTypes.hpp.