Minimization of logical functions of great number of variables

The algorithm of the minimization of incompletely specified logic functions is considered. With the help of electronic computers (universal or specialized) the algor i t hm permits to find almost minimum expressions for functions up to 20 variables. An example of the application of the algorithm is described. An approximate evaluation of a number of elementary steps when minimizing a function of $n$ variables is proposed.