login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A051355 A class of Boolean functions of n variables and rank 5. 1
0, 0, 0, 0, 1855, 41873, 473414, 3759915, 23805016, 127946132, 605565989, 2584498046, 10113002933, 36729043255, 124992460002, 401590336403, 1225697257191, 3571954259819, 9982155789012, 26849512929685 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,5

REFERENCES

V. Jovovic, G. Kilibarda, On the number of Boolean functions in the Post classes F^{mu}_8, Diskretnaya Matematika, 11 (1999), no. 4, 127-138 (translated in Discrete Mathematics and Applications, 9, (1999), no. 6).

LINKS

G. C. Greubel, Table of n, a(n) for n = 0..1000

Index entries for sequences related to Boolean functions

FORMULA

a(n) = n*(n-1)*(n-2)*(n-3)*(n^27 + 502*n^26 + 120801*n^25 + 18555450*n^24 + 2043896145*n^23 + 171959382510*n^22 + 11492866392285*n^21 + 626595483118170*n^20 + 28395669619525335*n^19 + 1084042810491338490*n^18 + 35186149524510636675*n^17 + 976432949265387426270*n^16 + 23217929244997797467115*n^15 + 472721672719078245765450*n^14 + 8216952258092593785438255*n^13 + 121453170291069318701426670*n^12 + 1521541491360927508366755180*n^11 + 16143766722952584357123061080*n^10 + 145316099588153228925752250320*n^9 + 1109949254515099247776167957920*n^8 + 7130381649450829873015538236224*n^7 + 37568515430020522274235444451968*n^6 + 155312640493406761927342466801664*n^5 + 454096256426890805548935873515520*n^4 + 591552291328659577837839697920000*n^3 - 1675192722572334765532729651200000*n^2 - 10419519305726773983271178403840000*n - 16705814064784578810837644083200000)/31!.

CROSSREFS

Sequence in context: A128289 A023044 A243236 * A064978 A202913 A159212

Adjacent sequences:  A051352 A051353 A051354 * A051356 A051357 A051358

KEYWORD

nonn

AUTHOR

Vladeta Jovovic, Goran Kilibarda

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified May 31 02:12 EDT 2020. Contains 334747 sequences. (Running on oeis4.)