cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-1 of 1 results.

A051381 Number of Boolean functions of n variables from Post class F(5,inf).

Original entry on oeis.org

1, 3, 19, 471, 162631, 12884412819, 64563604212887416603, 1361129467683753853595244012815395920687, 521064401567922879406069432539095585333589848390805645835993148352662477920015
Offset: 1

Views

Author

Vladeta Jovovic, Goran Kilibarda

Keywords

Crossrefs

Cf. A036239, A036240. Equals A005530(n)/2.

Programs

  • 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 *)

Formula

a(n) = Sum_{j=1..n} (-1)^(j+1)*C(n, j)*2^(2^(n-j)-1).

Extensions

More terms from James Sellers
Showing 1-1 of 1 results.