Number of inequivalent Krom functions on n variables (or 2SAT instances) under permuting and complementing variables.
A109459
Number of inequivalent Krom functions on n variables (or 2SAT instances) under permuting and complementing variables.
Terms
- a(0) =2a(1) =3a(2) =6a(3) =14a(4) =45a(5) =196a(6) =1360a(7) =15631
External references
- oeis: A109459