Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A003039
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A003039 Maximal number of prime implicants of a Boolean function of n variables.
(Formerly M1596)
+0
3
1, 2, 6, 13, 32, 92 (list; graph; listen)
OFFSET

1,2

COMMENT

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

REFERENCES

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

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

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 this_sequence A109385 A098407 A151390

Adjacent sequences: A003036 A003037 A003038 this_sequence A003040 A003041 A003042

KEYWORD

nonn,nice

AUTHOR

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

page 1

Search completed in 0.002 seconds

Lookup | Welcome | Find friends | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
More pages | Superseeker | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified November 24 23:16 EST 2009. Contains 167481 sequences.


AT&T Labs Research