УДК
681.518.5:004.052.32

БАЗИСЫ ДВОИЧНОЙ ЛОГИКИ

Опубликовано в Автоматика на транспорте · Страницы 400–417 · Рубрика: Теоретические вопросы автоматики и информатики
Получено: 12.12.2015 Одобрено: 15.12.2015 Опубликовано: 25.12.2015 Язык публикаций: RUS
Дискретные устройства, синтезированные с использованием различных базисов двоичной логики, могут иметь различную сложность технической реализации в зависимости от технологии изготовления элементной базы. Какие из элементарных функций алгебры логики образуют базис, определяет теорема Поста - Яблонского. Однако возникает задача определения общего количества неизбыточных базисов, т. е. таких базисов, удаление из которых хотя бы одной функции нарушает их функциональную полноту. Эта задача интересна не только с математической точки зрения, но и с точки зрения разработчика - он может выбрать наиболее приемлемый способ технической реализации дискретного устройства из существующих способов. В данной работе рассматривается задача перечисления неизбыточных базисов классической двоичной логики. Приводятся формулы, определяющие соответствие между функциями основного базиса {И; ИЛИ; НЕ} и функциями неизбыточных базисов. Дается пример практического использования неизбыточных базисов для построения логических устройств автоматики.
булева функция, функционально полная система, базис, особенный класс функций
Войти или Создать
* Забыли пароль?