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.
%I A051376 #23 Jul 02 2025 16:01:58
%S A051376 0,0,3,134,1935,20830,198303,1776894,15402495,130890110,1098087903,
%T A051376 9130126654,75412301055,619706950590,5071742430303,41369422556414,
%U A051376 336511166127615,2730929153686270,22119108433729503,178853777028618174
%N A051376 Number of Boolean functions of n variables and rank 4 from Post class F(5,inf).
%H A051376 G. C. Greubel, <a href="/A051376/b051376.txt">Table of n, a(n) for n = 1..1000</a>
%H A051376 V. Jovovic, G. Kilibarda, <a href="http://dx.doi.org/10.4213/dm398">On the number of Boolean functions in the Post classes F^{mu}_8</a>, Diskretnaya Matematika, 11 (1999), no. 4, 127-138.
%H A051376 V. Jovovic, G. Kilibarda, <a href="http://dx.doi.org/10.1515/dma.1999.9.6.593">On the number of Boolean functions in the Post classes F^{mu}_8</a>, (English translation), Discrete Mathematics and Applications, 9, (1999), no. 6.
%H A051376 <a href="/index/Bo#Boolean">Index entries for sequences related to Boolean functions</a>
%H A051376 <a href="/index/Rec#order_06">Index entries for linear recurrences with constant coefficients</a>, signature (25,-241,1135,-2734,3160,-1344).
%F A051376 a(n) = A036240(n) - A036239(n) + A000918(n).
%F A051376 a(n) = (8^n - 7^n - 6*4^n + 6*3^n + 11*2^n - 17)/6.
%F A051376 a(n) = Sum_{j=1..n} (-1)^(j+1)*C(n, j)*C(2^(n-j)-1, k-1), where k=4.
%F A051376 Also: 1/(k-1)!*Sum_{j=1..k} s(k, j)*(2^((j-1)*n)-(2^(j-1)-1)^n), where s(k, j) are Stirling numbers of the first kind (and k=4).
%F A051376 G.f.: x^3*(3 + 59*x - 692*x^2 + 1344*x^3) / ( (x-1)*(4*x-1)*(3*x-1)*(2*x-1)*(8*x-1)*(7*x-1) ). - _R. J. Mathar_, Jun 13 2013
%t A051376 Table[(8^n - 7^n - 6*4^n + 6*3^n + 11*2^n - 17)/6, {n, 1, 50}] (* _G. C. Greubel_, Oct 08 2017 *)
%o A051376 (PARI) for(n=1,50, print1((8^n - 7^n - 6*4^n + 6*3^n + 11*2^n - 17)/6, ", ")) \\ _G. C. Greubel_, Oct 08 2017
%o A051376 (Magma) [(8^n - 7^n - 6*4^n + 6*3^n + 11*2^n - 17)/6: n in [1..50]]; // _G. C. Greubel_, Oct 08 2017
%Y A051376 Cf. A000918, A036239, A036240.
%K A051376 easy,nonn
%O A051376 1,3
%A A051376 _Vladeta Jovovic_, Goran Kilibarda
%E A051376 More terms from _James Sellers_