графи, графы, graphs ; диз'юнктивні нормальні форми, ДНФ, дизъюнктивные нормальные формы ; логічні операції, логические операции ; матричні структури, матричные структуры

В диссертационной работе проведен анализ методов минимизации переключательных функций. Для нахождения оптимальных скобочных представлений переключательных функций методом графов предложен критерий сходности. Алгоритмы нахождения и печати оптимального скобочного представления реализованы в виде программы для ЭЦВМ "Урал-4". Рассмотрены различные методы синтеза многовыходных схем и показано, что метод графов дает в ряде случаев лучшее решение задачи оптимального синтеза. Показана возможность минимизации функций многозначной логики методом графов. Дана реализация основных функционально полных систем десятизначной логики на многоустойчивых фазоимпульсных элементах. С целью проверки расчетных данных проведено экспериментальное исследование разработанной системы динамических многозначных логических элементов на основе хронотрона. Исследование подтвердило простоту и надежность реализации.

• УДК // Математична логіка