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).
FORMULA
1/5!(32^n-10*24^n+30*20^n-5*18^n+5*17^n-80*16^n-30*15^n+135*14^n+30*13^n-80*12^n-2*11^n+10*10^n-100*9^n+240*8^n-160*7^n-44*6^n+95*5^n-85*4^n+50*3^n+24*2^n-24).
CROSSREFS
KEYWORD
nonn
AUTHOR
Vladeta Jovovic, Goran Kilibarda
STATUS
approved