A380610 - cp's OEIS frontend

A380610 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 nonempty clauses up to permutations of the variables and clauses, 0 <= k < 3^n.

n	a(n)
0	1
1	1
2	2
3	1
4	1
5	5
6	16
7	31
8	38
9	31
10	16
11	5
12	1
13	1
14	9
15	73
16	500
17	2676
18	11390
19	39256
20	111252
21	263014
22	524677
23	890602
24	1294240
25	1617050
26	1741208
27	1617050
28	1294240
29	890602
30	524677
31	263014
32	111252
33	39256
34	11390
35	2676
36	500
37	73
38	9
39	1
40	1
41	14
42	238
43	4320
44	72225
45	1039086
46	12712546
47	133231940
48	1211353657

[1, 1, 2, 1, 1, 5, 16, 31, 38, 31, 16, 5, 1, 1, 9, 73, 500, 2676, 11390, 39256, 111252, 263014, 524677, 890602, 1294240, 1617050, 1741208, 1617050, 1294240, 890602, 524677, 263014, 111252, 39256, 11390, 2676, 500, 73, 9, 1, 1, 14, 238, 4320, 72225, 1039086, 12712546, 133231940, 1211353657]

cp's OEIS Frontend

A380610 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 nonempty clauses up to permutations of the variables and clauses, 0 <= k < 3^n.

Table of values

List of values