%I M1711 #48 Oct 07 2017 02:58:37
%S 2,6,38,942,325262,25768825638,129127208425774833206,
%T 2722258935367507707190488025630791841374
%N Number of Boolean functions of n variables from Post class F(8,inf); number of degenerate Boolean functions of n variables.
%D N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%D I. Tomescu, Introducere in Combinatorica. Editura Tehnica, Bucharest, 1972, p. 129.
%H Alois P. Heinz, <a href="/A005530/b005530.txt">Table of n, a(n) for n = 1..12</a>
%H T. E. Allen, J. Goldsmith, N. Mattei, <a href="http://cs.engr.uky.edu/~goldsmit/papers/gen-cpnets.pdf">Counting, Ranking, and Randomly Generating CP-nets</a>, 2014.
%H R. K. Guy, <a href="/A003320/a003320_1.pdf">Letter to N. J. A. Sloane, Mar 1974</a>
%H Y. Raekow and K. Ziegler, <a href="http://tinyurl.com/3orssf6">A taxonomy of non-cooperatively computable functions</a>, Presented at WEWoRC 2011 (link to conference record).
%H I. Tomescu, <a href="/A003320/a003320_4.pdf">Excerpts from "Introducese in Combinatorica" (1972)</a>, pp. 230-1, 44-5, 128-9. (Annotated scanned copy)
%H <a href="/index/Bo#Boolean">Index entries for sequences related to Boolean functions</a>
%F a(n) = Sum_{j=1..n} (-1)^(j+1)*binomial(n,j)*2^(2^(n-j)).
%t Sum[(-1)^(j + 1) Binomial[n, j] 2^2^(n - j), {j, 1, n}]
%o (PARI) for(n=1,10, print1(sum(j=1,n, (-1)^(j+1)*binomial(n,j)*2^(2^(n-j))), ", ")) \\ _G. C. Greubel_, Oct 06 2017
%Y a(n) = 2^(2^n) - A000371(n). Cf. A036239, A036240.
%K nonn,easy,nice
%O 1,1
%A _N. J. A. Sloane_, _R. K. Guy_
%E More terms from _Vladeta Jovovic_, Goran Kilibarda