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!)
 A218183 Number of true entries in truth tables of bracketed formulas connected by modified implication (case 3). 1
 0, 0, 1, 4, 19, 108, 646, 4056, 26355, 175628, 1193906, 8246856, 57716798, 408391736, 2916689516, 20997741104, 152218453443, 1110202813836, 8140864778810, 59981252880360, 443834410644618, 3296876425605992, 24575508928455572, 183773880824034512 (list; graph; refs; listen; history; text; internal format)
 OFFSET 0,4 LINKS Volkan Yildiz, General combinatorical structure of truth tables of bracketed formulas connected by implication, arXiv preprint arXiv:1205.5595, 2012. FORMULA Yildiz gives a g.f. (see Proposition 6.4). PROG (PARI) all_a(m) = {x= y+O(y^(m+1)); P = (-5 + 3*sqrt(1-8*x)+3*sqrt(3-4*x-2*sqrt(1-8*x)) + 4*x - sqrt(1-8*x)*sqrt(3-4*x-2*sqrt(1-8*x)))/4; for (n=0, m, print1(polcoeff(P, n, y), ", ")); } \\ Michel Marcus, Feb 17 2013 CROSSREFS Cf. A218184. Sequence in context: A174992 A182541 A241839 * A206227 A091643 A323620 Adjacent sequences:  A218180 A218181 A218182 * A218184 A218185 A218186 KEYWORD nonn AUTHOR N. J. A. Sloane, Oct 23 2012 EXTENSIONS More terms from Michel Marcus, Feb 17 2013 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 May 28 12:18 EDT 2020. Contains 334681 sequences. (Running on oeis4.)