Расширение принципа покрытия при построении универсальных логических модулей на основе симметрических функций

Abstract

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

The extension of the term “covering” that based upon the “object-condition” relation is proposed. As examples of the proposed concept application, a method of synthesis of the forming of setting block of the universal symmetric logic module based on the special covering table are considered. This introduces a set of basic functions of equivalence of two arguments, such that they form the chain case in which the neighbor functions have a common argument. The theorem of the construction of the compound functions of equivalence of several arguments.

Пропонується розширення поняття «покриття», основою якого є відношення «об’єкт-умова». Як приклад застосування запропонованого поняття розглядається метод синтезу блока формування налаш- тувань універсального симетричного логічного елементу на основі спеціальної таблиці покриття. При цьому вводиться набір базових функцій рівнозначності двох таких аргументів, що їх аргументи утворюють ланцю- жок, в якому сусідні функції рівнозначно мають спільний аргумент. Наводиться теорема про формування складової функції рівнозначності декількох аргументів.