Literature Cited
Yu. I. Zhuravlev, "Algorithms to construct minimal disjunctive normal forms for Boolean functions," in: Discrete Mathematics and Mathematical Topics in Cybernetics [in Russian], Nauka, Moscow (1974).
B. Buchberger and J. Collins, Computer Algebra. Symbolic and Algebraic Computation [Russian translation], Mir, Moscow (1986).
Additional information
Translated from Programmnoe Obespechenie i Modeli Sistemnogo Analiza, pp. 30–37, 1991.
Rights and permissions
About this article
Cite this article
Mikhailyuk, M.V., Sedrakyan, N.G. Symbolic minimization of disjunctive normal forms. Comput Math Model 4, 312–316 (1993). https://doi.org/10.1007/BF01128753
Issue Date:
DOI: https://doi.org/10.1007/BF01128753