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

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)
2
1, 2, 6, 13, 32, 92 (list; graph; refs; listen; history; internal format)
OFFSET

1,2

COMMENTS

Dunham and Fridsal showed that a(8) is at least 576. - D. E. Knuth Aug 25 2005

REFERENCES

B. Bunham 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 ].

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

LINKS

Index entries for sequences related to Boolean functions

EXAMPLE

a(3)=6 because of (x XOR y) OR (x XOR z) OR (y XOR z)

CROSSREFS

Sequence in context: A062424 A099232 A053562 * A109385 A098407 A151390

Adjacent sequences:  A003036 A003037 A003038 * A003040 A003041 A003042

KEYWORD

nonn,nice

AUTHOR

N. J. A. Sloane (njas(AT)research.att.com).

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
Recent Additions | More pages | Superseeker | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement .

Last modified February 16 14:07 EST 2012. Contains 205930 sequences.