A262546 Number of Post functions of n variables which fail to satisfy Post's second condition.

1, 1, 4, 16, 544

Offset

1,3

Links

Table of n, a(n) for n=1..5.

R. F. Wheeler, Complete propositional connectives, Z. Math. Logik Grundlagen Math. 7 1961 185-198. [Annotated scanned copy]

R. F. Wheeler, An asymptotic formula for the number of complete propositional connectives, Z. Math. Logik Grundlagen Math. 8 (1962),1-4. [Annotated scanned copy]

Crossrefs

Equals A002857 - A002543.

Sequence in context: A061580 A037976 A013138 * A013006 A013001 A373739

Adjacent sequences: A262543 A262544 A262545 * A262547 A262548 A262549

Keyword

nonn,more

Author

N. J. A. Sloane, Oct 06 2015

Status

approved