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

Author

Don Knuth, Aug 24 2005

Keywords

• nonn
• hard
• more

References

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

Crossrefs

See A109457 for definitions and references.