A380518 - cp's OEIS frontend

A380518 Irregular triangle read by rows: T(n,k) is the number of non-isomorphic formulas in conjunctive normal form (CNF) with n variables and k distinct clauses up to permutations of the variables and clauses, 0 <= k <= 3^n.

n	a(n)
0	1
1	1
2	1
3	3
4	3
5	1
6	1
7	6
8	21
9	47
10	69
11	69
12	47
13	21
14	6
15	1
16	1
17	10
18	82
19	573
20	3176
21	14066
22	50646
23	150508
24	374266
25	787691
26	1415279
27	2184842
28	2911290
29	3358258
30	3358258
31	2911290
32	2184842
33	1415279
34	787691
35	374266
36	150508
37	50646
38	14066
39	3176
40	573
41	82
42	10
43	1

[1, 1, 1, 3, 3, 1, 1, 6, 21, 47, 69, 69, 47, 21, 6, 1, 1, 10, 82, 573, 3176, 14066, 50646, 150508, 374266, 787691, 1415279, 2184842, 2911290, 3358258, 3358258, 2911290, 2184842, 1415279, 787691, 374266, 150508, 50646, 14066, 3176, 573, 82, 10, 1]

cp's OEIS Frontend

A380518 Irregular triangle read by rows: T(n,k) is the number of non-isomorphic formulas in conjunctive normal form (CNF) with n variables and k distinct clauses up to permutations of the variables and clauses, 0 <= k <= 3^n.

Table of values

List of values