|
|
A109458
|
|
Number of inequivalent Krom functions on n variables (or 2SAT instances) under permutations of variables.
|
|
1
|
|
|
|
OFFSET
|
0,1
|
|
REFERENCES
|
D. E. Knuth, The Art of Computer Programming, Vol. 4A, Section 7.1.1, p. 79.
|
|
LINKS
|
|
|
CROSSREFS
|
See A109457 for definitions and references.
|
|
KEYWORD
|
nonn,hard,more
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|