login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A000618 Nondegenerate Boolean functions of n variables.
(Formerly M0160 N0063)
4
2, 1, 3, 16, 380, 1227756, 400507805615570, 527471432057653003616766223882064, 11218076601767519586965281984173341005397671421797828020453197626398048 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,1

REFERENCES

S. Muroga, Threshold Logic and Its Applications. Wiley, NY, 1971, p. 38, Table 2.3.2. - Row 12.

J. Sklansky, General synthesis of tributary switching networks, IEEE Trans. Elect. Computers, 12 (1963), 464-469.

N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).

N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

LINKS

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

Goto, Eiichi, and Hidetosi Takahasi, Some Theorems Useful in Threshold Logic for Enumerating Boolean Functions, in Proceedings International Federation for Information Processing (IFIP) Congress, 1962, pp. 747-752. [Annotated scans of certain pages]

S. Muroga, Threshold Logic and Its Applications, Wiley, NY, 1971 [Annotated scans of a few pages]

S. Muroga, T. Tsuboi and C. R. Baugh, Enumeration of threshold functions of eight variables, IEEE Trans. Computers, 19 (1970), 818-825. [Annotated scanned copy]

Index entries for sequences related to Boolean functions

FORMULA

For n > 0, a(n) = A000616(n) - A000616(n-1). [From Charles R Greathouse IV, Oct 03 2008]

CROSSREFS

Sequence in context: A209023 A209058 A209215 * A132950 A197190 A247482

Adjacent sequences:  A000615 A000616 A000617 * A000619 A000620 A000621

KEYWORD

nonn,nice

AUTHOR

N. J. A. Sloane.

EXTENSIONS

Edited and extended by Charles R Greathouse IV, Oct 03 2008

STATUS

approved

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

License Agreements, Terms of Use, Privacy Policy. .

Last modified January 21 11:00 EST 2019. Contains 319351 sequences. (Running on oeis4.)