A308616 - cp's OEIS frontend

A308616 Number of well-formed formulas of length n in a formal propositional language with one unitary operator, one binary operator, and one propositional variable.

n	a(n)
1	1
2	0
3	0
4	1
5	1
6	0
7	1
8	3
9	2
10	1
11	6
12	10
13	6
14	10
15	30
16	36
17	29
18	70
19	141
20	147
21	182
22	421
23	658
24	714
25	1183
26	2346
27	3192
28	4027
29	7404
30	12672
31	16633
32	24508
33	44462
34	68641
35	93588
36	151866
37	260118
38	381888
39	557128
40	934220
41	1509807
42	2205216
43	3414269
44	5681573
45	8828612
46	13179557
47	21120648
48	34335784
49	52494403
50	80688120

[1, 0, 0, 1, 1, 0, 1, 3, 2, 1, 6, 10, 6, 10, 30, 36, 29, 70, 141, 147, 182, 421, 658, 714, 1183, 2346, 3192, 4027, 7404, 12672, 16633, 24508, 44462, 68641, 93588, 151866, 260118, 381888, 557128, 934220, 1509807, 2205216, 3414269, 5681573, 8828612, 13179557, 21120648, 34335784, 52494403, 80688120]

cp's OEIS Frontend

A308616 Number of well-formed formulas of length n in a formal propositional language with one unitary operator, one binary operator, and one propositional variable.

Table of values

List of values