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.
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.
Terms
- a(0) =1a(1) =1a(2) =1a(3) =3a(4) =3a(5) =1a(6) =1a(7) =6a(8) =21a(9) =47a(10) =69a(11) =69a(12) =47a(13) =21a(14) =6a(15) =1a(16) =1a(17) =10a(18) =82a(19) =573a(20) =3176a(21) =14066a(22) =50646a(23) =150508a(24) =374266a(25) =787691a(26) =1415279a(27) =2184842a(28) =2911290a(29) =3358258
External references
- oeis: A380518