Theoretical Foundations of Applied Discrete Mathematics

Minimization of Boolean functions of many variables – iterative method and program realization

A. D. Zakrevskij, N. R. Toropov

United Institute of Informatics Problems of the National Academy of Sciences of Belarus, Minsk, Belarus

Abstract: An iterative method for minimization of Boolean functions depending on the large number $n$ (up to 25) of variables is proposed. The method is based on applying effective parallel operations on Boolean vectors of length $2^n$.

UDC: 519.7