login
A218184
Number of true entries in truth tables of bracketed formulas connected by modified implication (case 1).
1
0, 0, 1, 2, 13, 70, 418, 2628, 17053, 113566, 771638, 5327804, 37274482, 263669500, 1882630692, 13550468360, 98212733277, 716195167502, 5250931034798, 38683418448780, 286206574421222, 2125766544922612, 15844332066531484, 118472460044221368, 888436633672089842
OFFSET
0,4
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
Cf. A218183.
Sequence in context: A136780 A301944 A128743 * A264735 A289926 A188676
KEYWORD
nonn
AUTHOR
N. J. A. Sloane, Oct 23 2012
EXTENSIONS
Corrected by Mark van Hoeij, May 16 2013
STATUS
approved