A109458 - OEIS

The OEIS is supported by the many generous donors to the OEIS Foundation.

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

Other ways to Give

A109458

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

%I #6 Aug 08 2015 23:59:33

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

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

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

%Y See A109457 for definitions and references.

%K nonn,hard,more

%O 0,1

%A _Don Knuth_, Aug 24 2005