login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A262459 Number of n-valued logics. 2

%I #7 Sep 23 2015 10:52:05

%S 0,1,3072,2066242608,562949953421312000,94296410679817199707031250000,

%T 13584783430350289567229247264873005482770432,

%U 2238270252895659596439884146393953794861120109653175515742208

%N Number of n-valued logics.

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

%H MathWorld, <a href="http://mathworld.wolfram.com/Three-ValuedLogic.html">Three-Valued Logic</a>

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

%o (PARI) a(n) = (n-1)^(n^2+1) * n^(n-2) \\ _Charles R Greathouse IV_, Sep 23 2015

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

%K nonn,easy

%O 1,3

%A Yan A. Denenberg and _Max Alekseyev_, Sep 23 2015

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 26 20:34 EDT 2024. Contains 372004 sequences. (Running on oeis4.)