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.

A112535 Number of truth tables generated by 3CNF expressions of n variables.

Table of values

n a(n)
0 2
1 4
2 16
3 256
4 43146
5 120510132
6 4977694100656

List of values

[2, 4, 16, 256, 43146, 120510132, 4977694100656]