|
|
A051381
|
|
Number of Boolean functions of n variables from Post class F(5,inf).
|
|
1
|
|
|
1, 3, 19, 471, 162631, 12884412819, 64563604212887416603, 1361129467683753853595244012815395920687, 521064401567922879406069432539095585333589848390805645835993148352662477920015
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,2
|
|
LINKS
|
|
|
FORMULA
|
a(n) = Sum_{j=1..n} (-1)^(j+1)*C(n, j)*2^(2^(n-j)-1).
|
|
MATHEMATICA
|
Table[Sum[(-1)^(j + 1)*Binomial[n, j]*2^(2^(n - j) - 1) , {j, 1, n}], {n, 1, 5}] (* G. C. Greubel, Oct 08 2017 *)
|
|
CROSSREFS
|
|
|
KEYWORD
|
easy,nonn
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|