

A005613


Cascaderealizable Boolean functions of n variables.
(Formerly M1982)


4



2, 2, 10, 114, 1842, 37226, 902570, 25530658, 825345250, 30016622298, 1212957186330, 53916514446482, 2614488320210258, 137345270749953610, 7770078330925987210, 470977659902530345986, 30451167044311817097666, 2091878780326890801618362
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

0,1


REFERENCES

N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).


LINKS

Table of n, a(n) for n=0..17.
E. A. Bender and J. T. Butler, Asymptotic approximations for the number of fanoutfree functions, IEEE Trans. Computers, 27 (1978), 11801183. (Annotated scanned copy)
J. T. Butler, Letter to N. J. A. Sloane, Jun. 1975 and Dec. 1978.
J. T. Butler, On the number of functions realized by cascades and disjunctive networks, IEEE Trans. Computers, C24 (1975), 681690. (Annotated scanned copy)
K. L. Kodandapani and S. C. Seth, On combinational networks with restricted fanout, IEEE Trans. Computers, 27 (1978), 309318. (Annotated scanned copy)
Index entries for sequences related to Boolean functions


FORMULA

a(0) = 2, a(1) = 2, a(n) = Sum_{k=1..n1} ((1)^(k+1) * binomial(n,k) * (2^(k+1)+1) * a(nk))  (1)^n(2^n+1)a(1). [From Butler]  Sean A. Irvine, Jul 14 2016


CROSSREFS

Sequence in context: A032034 A002250 A304642 * A005616 A005617 A011248
Adjacent sequences: A005610 A005611 A005612 * A005614 A005615 A005616


KEYWORD

nonn


AUTHOR

N. J. A. Sloane


EXTENSIONS

More terms from Sean A. Irvine, Jul 14 2016
a(0) added by Sean A. Irvine, Aug 22 2016


STATUS

approved



