cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A345190 Number of rows with the value "true" in the Kleene truth tables of all bracketed formulae with n distinct propositions p1, ..., pn connected by the binary connective of implication.

Table of values

n a(n)
1 1
2 5
3 30
4 229
5 1938
6 17530
7 165852
8 1621133
9 16242474
10 165923854
11 1721675460
12 18095802306
13 192256162740
14 2061367432212
15 22276538889912
16 242387718986301
17 2653259550491034
18 29198054511893638
19 322835545567447092
20 3584671507685675894
21 39955514234936341980
22 446897274497509974508

List of values

[1, 5, 30, 229, 1938, 17530, 165852, 1621133, 16242474, 165923854, 1721675460, 18095802306, 192256162740, 2061367432212, 22276538889912, 242387718986301, 2653259550491034, 29198054511893638, 322835545567447092, 3584671507685675894, 39955514234936341980, 446897274497509974508]

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.