OKlibrary  0.2.1.6
IsomorphismTypes.hpp File Reference

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):273-299] 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.