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.
%I A120608 #3 May 11 2007 03:00:00
%S A120608 1,1,1,5,59,3470
%N A120608 Number of inequivalent (under the "inversion of variables") monotone Boolean nondegenerate functions of n variables.
%C A120608 We define the "inversion of variables", i, by (i.f)(x1,...,xn)=1+f(1+x1,...,1+xn). Note that {i,identity function} is a group. It turns out that if f is a monotone function, then i.f is also a monotone function. f is equivalent to g if f=g or f=i.g.
%e A120608 a(2)=1 because f(x1,x2)=x1x2 is equivalent to g(x1,x2)=x1+x2+x1x2 and there are no more monotone Boolean nondegenerate functions of 2 variables.
%K A120608 nonn,more
%O A120608 0,4
%A A120608 Alan Veliz-Cuba (alanavc(AT)vt.edu), Jun 16 2006