A218182 Number of truth tables of bracketed formulas (case 1).
0, 0, 1, 6, 33, 194, 1198, 7676, 50581, 340682, 2335186, 16237284, 114255994, 812107412, 5822171548, 42052209400, 305714145869, 2235262899418, 16426616425002, 121265916776148, 898878250833358, 6687497426512700, 49920590244564484
Offset: 0
Keywords
Links
- Volkan Yildiz, General combinatorical structure of truth tables of bracketed formulas connected by implication, arXiv preprint arXiv:1205.5595 [math.CO], 2012.
Programs
-
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
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