Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).
%I #19 Jun 10 2021 15:14:08
%S 0,0,1,2,13,70,418,2628,17053,113566,771638,5327804,37274482,
%T 263669500,1882630692,13550468360,98212733277,716195167502,
%U 5250931034798,38683418448780,286206574421222,2125766544922612,15844332066531484,118472460044221368,888436633672089842
%N Number of true entries in truth tables of bracketed formulas connected by modified implication (case 1).
%H Volkan Yildiz, <a href="https://arxiv.org/abs/1205.5595">General combinatorical structure of truth tables of bracketed formulas connected by implication</a>, arXiv preprint arXiv:1205.5595 [math.CO], 2012.
%F Yildiz gives a g.f.
%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
%Y Cf. A218183.
%K nonn
%O 0,4
%A _N. J. A. Sloane_, Oct 23 2012
%E Corrected by _Mark van Hoeij_, May 16 2013