О РАВНОМЕРНОСТИ НЕКОТОРЫХ СИСТЕМ ФУНКЦИЙ МНОГОЗНАЧНОЙ ЛОГИКИ

Рассматривается конечная система A функций многозначной логики, принимающих значения 0 и 1, причем проекция системы A порождает класс всех монотонных булевых функций. Показано, что найдутся константы c и d, такие, что для любой функции f из [A] глубина D(f) и сложность L(f) функции f в классе формул над A связаны соотношением D(f)

Вы можете купить электронную версию издания «О РАВНОМЕРНОСТИ НЕКОТОРЫХ СИСТЕМ ФУНКЦИЙ МНОГОЗНАЧНОЙ ЛОГИКИ». После оплаты (для архивов) оно будет доступно в Личном Кабинете в разделе «Электронные издания». В случае оформления подписки, издание будет доступно по мере поступления от издателя. Формат PDF/HTML. Стоимость — от 60.00 руб.