TY - JOUR AU - Yu. I. Zhuravlev TI - On the impossibility of constructing minimal disjunctive normal forms for functions of the algebra of logic in a single class of algorithms JO - Doklady Akademii Nauk PY - 1960 SP - 504 EP - 506 VL - 132 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1960_132_3_a3/ LA - ru ID - DAN_1960_132_3_a3 ER -