TY - JOUR AU - A. A. Sapozhenko AU - I. P. Chukhrov TI - Boolean function minimization in the class of disjunctive normal forms JO - Itogi nauki i tehniki. Seriâ, Teoriâ veroâtnostej. Matematičeskaâ statistika. Teoretičeskaâ kibernetika PY - 1987 SP - 68 EP - 116 VL - 25 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/INTV_1987_25_a1/ LA - ru ID - INTV_1987_25_a1 ER -