Номерной подход к определению принадлежности функций алгебры логики к классу монотонных функций (А. А. Любомудров)

Номерной подход к определению принадлежности функций алгебры логики к классу монотонных функций (А. А. Любомудров)
Автор: А. А. Любомудров
Жанр: естественные наукиматематикавысшая математикаматематические методыматематическая логикаалгебра
Язык: Русский
Размер: 385662 Кб
Полная версия:
Описание книги:
В функционально полных наборах логических функций, используемых для синтеза вычислительных устройств, хотя бы одна из логических функций должна быть немонотонной. В связи с этим в работе предлагается и обосновывается удобный подход к определению принадлежности функций алгебры логики к классу монотонных функций. Упомянутый подход предполагает рассмотрение наборов логических переменных в качестве номеров наборов, на которых задана функция. Это позволяет анализировать значения функций алгебры логики только на фиксированных позициях с фиксированными значениями номеров без дополнительной проверки наборов логических переменных на соизмеримость.