Алгоритмы синтеза полиномов, реализующих слабо определенные булевы функции и системы

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

Статья представлена к публикации членом редколлегии: О. П. Кузнецов