login
A345678
Total number of nodes of the zero-suppressed decision diagrams (ZDDs) for all Boolean functions of n variables.
1
2, 7, 51, 1431, 614067, 66738650031, 481633795381156178667, 14977615127386478533538545898997567924231, 8683854397629333456697983311703142268877661823716805568796100445742742964932067
OFFSET
0,1
REFERENCES
D. E. Knuth, The Art of Computer Programming, Vol. 4A, Addison-Wesley, 2011, Section 7.1.4.
FORMULA
a(n) = A345677(n) - A000058(n) + 2.
CROSSREFS
Sequence in context: A265042 A249754 A224879 * A279198 A220092 A138737
KEYWORD
nonn
AUTHOR
STATUS
approved