A262459 Number of n-valued logics.

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

Offset: 1

Author

Yan A. Denenberg and Max Alekseyev, Sep 23 2015

Keywords

• nonn
• easy

References

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

Links

• MathWorld, Three-Valued Logic

Crossrefs

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

Programs

PARI

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

Formula

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