The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A192481 a(n) = Sum_{i=1..n-1} (2^i*C(i)-a(i)) * (2^(n-i)*C(n-i)-a(n-i)), a(0)=0, a(1)=1, where C(i)=A000108(i-1) are Catalan numbers. 2
 1, 1, 6, 29, 162, 978, 6156, 40061, 267338, 1819238, 12576692, 88079378, 623581332, 4455663876, 32090099352, 232711721757, 1697799727066, 12452943237342, 91774314536100, 679234371006982, 5046438870909244, 37623611703611452, 281391143518722728 (list; graph; refs; listen; history; text; internal format)
 OFFSET 1,3 COMMENTS a(n) is the number of rows with the value false in the truth tables of all bracketed m-implication, case (i), with n distinct variables. LINKS G. C. Greubel, Table of n, a(n) for n = 1..1000 Volkan Yildiz, Counting false entries in truth tables of bracketed formulas connected by m-implication, arXiv:1203.4645 [math.CO], 2012. Volkan Yildiz, General combinatorical structure of truth tables of bracketed formulas connected by implication, arXiv:1205.5595 [math.CO], 2012. FORMULA G.f.: (2 - sqrt(1-8*x) - sqrt(3 - 4*x - 2*sqrt(1-8*x)))/2. For large n, a(n) is asymptotically (1-2/sqrt 10) * 2^(3n-2)/ sqrt(pi*n^3). MAPLE C := proc(n) binomial(2*n, n)/(n+1) ; end proc: A192481 := proc(n) option remember; if n<=1 then n; else add( (2^i*C(i-1)-procname(i))*(2^(n-i)*C(n-i-1)-procname(n-i)), i=1..n-1) ; end if; end proc: MATHEMATICA CoefficientList[Series[(2 - Sqrt[1 - 8*x] - Sqrt[3 - 4*x - 2*Sqrt[1 - 8*x]])/2, {x, 0, 50}], x] (* G. C. Greubel, Feb 12 2017 *) PROG (PARI) x='x+O('x^50); Vec((2-sqrt(1-8*x)-sqrt(3-4*x-2*sqrt(1-8*x)))/2) \\ G. C. Greubel, Feb 12 2017 CROSSREFS Cf. A000108, A186997, A192479. Sequence in context: A059724 A000708 A027248 * A020090 A020036 A294312 Adjacent sequences:  A192478 A192479 A192480 * A192482 A192483 A192484 KEYWORD nonn AUTHOR Volkan Yildiz, Jul 01 2011 STATUS approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified January 23 01:37 EST 2021. Contains 340384 sequences. (Running on oeis4.)