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.

A345189 Number of rows with the value "false" 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 1
3 6
4 41
5 330
6 2882
7 26604
8 255313
9 2521986
10 25473638
11 261898548
12 2731724778
13 28836047844
14 307477681188
15 3306988334808
16 35833139582529
17 390803960909106
18 4286644113507902
19 47258491871201508
20 523372307883323566
21 5819831138546794860
22 64954314678710555612
23 727371707764232349672

List of values

[1, 1, 6, 41, 330, 2882, 26604, 255313, 2521986, 25473638, 261898548, 2731724778, 28836047844, 307477681188, 3306988334808, 35833139582529, 390803960909106, 4286644113507902, 47258491871201508, 523372307883323566, 5819831138546794860, 64954314678710555612, 727371707764232349672]

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

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