The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A003039 Maximal number of prime implicants of a Boolean function of n variables. (Formerly M1596) 3
 1, 2, 6, 13, 32, 92 (list; graph; refs; listen; history; text; internal format)
 OFFSET 1,2 COMMENTS Dunham and Fridsal showed that a(8) is at least 576. - Don Knuth, Aug 25 2005 REFERENCES M. M. Gadzhiev, Maximal length of the reduced disjunctive normal form for Boolean functions with five and six variables, Diskretnyi Analiz (Novosibirsk), (1971), 3-24 [ Computing Reviews #23,815, Sep. 1972 ]. N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence). LINKS B. Dunham and R. Fridshal, The problem of simplifying logical expressions, Journal of Symbolic Logic, 24 (1959), 17-19. M. M. Gadzhiev, Maximal length of the reduced disjunctive normal form for Boolean functions with five and six variables, Diskretnyi Analiz (Novosibirsk), (1971), 3-24 [ Computing Reviews #23,815, Sep. 1972 ]. [Annotated scanned copy] M. M. Gadzhiev, Maximal length of the reduced disjunctive normal form for Boolean functions with five and six variables (abstract), Diskretnyi Analiz (Novosibirsk), (1971), 3-24 [ Computing Reviews #23,815, Sep. 1972 ]. [Annotated scanned copy of abstract] EXAMPLE a(3)=6 because of (x XOR y) OR (x XOR z) OR (y XOR z). CROSSREFS Sequence in context: A099232 A280758 A053562 * A109385 A244578 A238827 Adjacent sequences:  A003036 A003037 A003038 * A003040 A003041 A003042 KEYWORD nonn,hard,more,nice AUTHOR 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.

Last modified January 28 22:35 EST 2020. Contains 331328 sequences. (Running on oeis4.)