login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
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 (list; graph; refs; listen; history; text; internal format)
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, 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

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.

License Agreements, Terms of Use, Privacy Policy. .

Last modified May 26 17:49 EDT 2019. Contains 323597 sequences. (Running on oeis4.)