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)-2)*((3-4*x-2*(1-8*x)^(1/2))^(1/2)-3)/2-1-3*x. - Mark van Hoeij, May 16 2013
CROSSREFS
KEYWORD
nonn
AUTHOR
N. J. A. Sloane, Oct 23 2012
EXTENSIONS
Corrected by Mark van Hoeij, May 16 2013
STATUS
approved