РОЗШИРЕННЯ ПРИНЦИПУ ПОКРИТТЯ ПРИ ПОБУДОВІ УНІВЕРСАЛЬНИХ ЛОГІЧНИХ МОДУЛІВ НА ОСНОВІ СИМЕТРИЧНИХ ФУНКЦІЙ

Анотація

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