Алгоритм сравнения скобочных форм функций алгебры логики

Abstract

Применение функций алгебры логики к синтезу релейных и электронных схем требует проведения таких преобразований исходной формы этих функций, которые давали бы возможность синтезировать схему с минимальным количеством элементов или же с заданной степенью надежности. Преобразования эти достаточно сложны даже для узких классов функций алгебры логики и более того, не существует общего алгоритма для всех функций алгебры логики, который приводил бы к решению задачи построения схемы с наименьшим количеством элементов.