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.

A005617 Number of non-degenerate fanout-free Boolean functions of n variables using And, Or, Xor, Not, and Majority gates.

Table of values

n a(n)
0 2
1 2
2 10
3 122
4 2554
5 75386
6 2865370
7 133191386
8 7319102842
9 464161640378
10 33365010466330
11 2680736773291418
12 238072159069838266
13 23157446685020355194
14 2448496007747625525850
15 279603850797891071481434
16 34294941015273001096282618

List of values

[2, 2, 10, 122, 2554, 75386, 2865370, 133191386, 7319102842, 464161640378, 33365010466330, 2680736773291418, 238072159069838266, 23157446685020355194, 2448496007747625525850, 279603850797891071481434, 34294941015273001096282618]