A262459 Number of n-valued logics.

0, 1, 3072, 2066242608, 562949953421312000, 94296410679817199707031250000, 13584783430350289567229247264873005482770432, 2238270252895659596439884146393953794861120109653175515742208

Offset

1,3

References

H. Eves and C. V. Newsom, An Introduction to the Foundation and Fundamental concepts of Mathematics, Rinehart & Co., New York, 1958.

Links

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

MathWorld, Three-Valued Logic

Formula

a(n) = (n-1)^(n^2+1) * n^(n-2) = A076728(n) * A262458(n).

Prog

(PARI) a(n) = (n-1)^(n^2+1) * n^(n-2) \\ Charles R Greathouse IV, Sep 23 2015

Crossrefs

Cf. A076728 (number of negation tables), A262458 (number of conjunction tables).

Sequence in context: A137485 A251786 A334256 * A205623 A205358 A045083

Adjacent sequences: A262456 A262457 A262458 * A262460 A262461 A262462

Keyword

nonn,easy

Author

Yan A. Denenberg and Max Alekseyev, Sep 23 2015

Status

approved