Cybernetics and Systems Analysis

, Volume 55, Issue 1, pp 30–33 | Cite as

An Algorithm for Constructing Reduced DNFs of Order-Convex Boolean Functions

  • A. I. TimoshkinEmail author


This paper considers the problem of constructing reduced disjunctive normal forms of order-convex Boolean functions. An original algorithm is proposed for finding these forms. The algorithm uses concepts of the theory of ordered sets such as an ideal and a coideal and has a substantially lower time complexity than the classical Quine–McCluskey algorithm.


implicant lattice order-convex subset ideal coideal 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Aigner, Combinatorial Theory [Russian translation], Mir, Moscow (1982).Google Scholar
  2. 2.
    M. M. Kovalev, Matroids in Discrete Optimization [in Russian], Universitetskoe, Minsk (1987).Google Scholar
  3. 3.
    G. Birkhoff, Lattice Theory [Russian translation], Nauka, Moscow (1984).Google Scholar
  4. 4.
    S. V. Yablonskii, Introduction to Discrete Mathematics [in Russian], Nauka, Moscow (1986).Google Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2019

Authors and Affiliations

  1. 1.National Metallurgical Academy of UkraineDniproUkraine

Personalised recommendations