OFFSET
0,4
LINKS
Volkan Yildiz, General combinatorical structure of truth tables of bracketed formulas connected by implication, arXiv preprint arXiv:1205.5595 [math.CO], 2012.
FORMULA
Yildiz gives a g.f. (see Proposition 6.4).
G.f.: (-5 + 3*sqrt(1-8*x) + 3*sqrt(3-4*x-2*sqrt(1-8*x)) + 4*x - sqrt(1-8*x)*sqrt(3-4*x-2*sqrt(1-8*x)))/4. - Michel Marcus, Jun 10 2021
PROG
(PARI) all_a(m) = {x= y+O(y^(m+1)); P = (-5 + 3*sqrt(1-8*x)+3*sqrt(3-4*x-2*sqrt(1-8*x)) + 4*x - sqrt(1-8*x)*sqrt(3-4*x-2*sqrt(1-8*x)))/4; for (n=0, m, print1(polcoeff(P, n, y), ", ")); } \\ Michel Marcus, Feb 17 2013
(PARI) concat(vector(2), Vec((-5 + 3*sqrt(1-8*x) + 3*sqrt(3-4*x-2*sqrt(1-8*x)) + 4*x - sqrt(1-8*x)*sqrt(3-4*x-2*sqrt(1-8*x)))/4 + O(x^20))) \\ Felix Fröhlich, Jun 10 2021
CROSSREFS
KEYWORD
nonn
AUTHOR
N. J. A. Sloane, Oct 23 2012
EXTENSIONS
More terms from Michel Marcus, Feb 17 2013
STATUS
approved