login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A303584 Number of inequivalent Krom functions on n variables (or 3SAT instances) under permuting and complementing variables. 0
2, 3, 6, 22, 253, 37098, 109873815 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,1

REFERENCES

Knuth, Donald E., Satisfiability, Fascicle 6, volume 4 of The Art of Computer Programming. Addison-Wesley, 2015, pages 148 and 220, Problem 191.

LINKS

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

CROSSREFS

Cf. A109459.

Sequence in context: A015759 A260562 A173249 * A261014 A000616 A233217

Adjacent sequences:  A303581 A303582 A303583 * A303585 A303586 A303587

KEYWORD

nonn,more

AUTHOR

N. J. A. Sloane, May 13 2018

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified August 2 02:53 EDT 2021. Contains 346409 sequences. (Running on oeis4.)