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.
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.
Terms
- a(0) =1a(1) =1a(2) =2a(3) =1a(4) =1a(5) =5a(6) =16a(7) =31a(8) =38a(9) =31a(10) =16a(11) =5a(12) =1a(13) =1a(14) =9a(15) =73a(16) =500a(17) =2676a(18) =11390a(19) =39256a(20) =111252a(21) =263014a(22) =524677a(23) =890602a(24) =1294240a(25) =1617050a(26) =1741208a(27) =1617050a(28) =1294240a(29) =890602
External references
- oeis: A380610