id:A003039 - OEIS Search Results

Search: id:A003039

Displaying 1-1 of 1 results found.

page 1

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

Last modified December 16 17:18 EST 2009. Contains 170825 sequences.