статьи П.Я. Даниленко и В.В. Уманского "A certain algorithm for optimal choice of logical operations in the design of digital systems".
