|
|
A003039
|
|
Maximal number of prime implicants of a Boolean function of n variables.
(Formerly M1596)
|
|
3
|
|
|
|
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
|
|
|
EXAMPLE
|
a(3)=6 because of (x XOR y) OR (x XOR z) OR (y XOR z).
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,hard,more,nice
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|