%I A003039 M1596
%S A003039 1,2,6,13,32,92
%N A003039 Maximal number of prime implicants of a Boolean function of n variables.
%C A003039 Dunham and Fridsal showed that a(8) is at least 576. - D. E. Knuth Aug 
               25 2005
%D A003039 N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, 
               Academic Press, 1995 (includes this sequence).
%D A003039 B. Bunham and R. Fridshal, "The problem of simplifying logical expressions,
               " Journal of Symbolic Logic, 24 (1959), 17-19.
%D A003039 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 
               ].
%H A003039 <a href="Sindx_Bo.html#Boolean">Index entries for sequences related to 
               Boolean functions</a>
%e A003039 a(3)=6 because of (x XOR y) OR (x XOR z) OR (y XOR z)
%Y A003039 Sequence in context: A062424 A099232 A053562 this_sequence A109385 A098407 
               A151390
%Y A003039 Adjacent sequences: A003036 A003037 A003038 this_sequence A003040 A003041 
               A003042
%K A003039 nonn,nice
%O A003039 1,2
%A A003039 N. J. A. Sloane (njas(AT)research.att.com).