A218184 Number of true entries in truth tables of bracketed formulas connected by modified implication (case 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

Links

Table of n, a(n) for n=0..24.

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

Cf. A218183.

Sequence in context: A136780 A301944 A128743 * A264735 A289926 A188676

Adjacent sequences: A218181 A218182 A218183 * A218185 A218186 A218187

Keyword

nonn

Author

N. J. A. Sloane, Oct 23 2012

Extensions

Corrected by Mark van Hoeij, May 16 2013

Status

approved