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.
G.f.: ((1-8*x)^(1/2)-3)*((2+2*(1-8*x)^(1/2)+8*x)^(1/2)-2)/8. - Mark van Hoeij, May 16 2013
PROG
(PARI) my(x='x+O('x^30)); concat([0, 0], Vec(((1-8*x)^(1/2)-3)*((2+2*(1-8*x)^(1/2)+8*x)^(1/2)-2)/8)) \\ Michel Marcus, Oct 21 2020
CROSSREFS
KEYWORD
nonn
AUTHOR
N. J. A. Sloane, Oct 23 2012
STATUS
approved