A109458 Number of inequivalent Krom functions on n variables (or 2SAT instances) under permutations of variables.

2, 4, 12, 48, 308, 3028, 49490, 1350894, 62154403

Offset

0,1

References

D. E. Knuth, The Art of Computer Programming, Vol. 4A, Section 7.1.1, p. 79.

Links

Table of n, a(n) for n=0..8.

Crossrefs

See A109457 for definitions and references.

Sequence in context: A372145 A082480 A093934 * A375516 A030963 A030879

Adjacent sequences: A109455 A109456 A109457 * A109459 A109460 A109461

Keyword

nonn,hard,more

Author

Don Knuth, Aug 24 2005

Status

approved