cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A112650 Number of truth tables generated by (n-1)-CNF Boolean expressions of n variables.

Table of values

n a(n)
2 10
3 166
4 43146
5 2805252934

List of values

[10, 166, 43146, 2805252934]