Логические уравнения с приложениями в автоматизированном проектировании и управлении

Описываются новые редукционные методы решения больших систем логических уравнений. Приводится их анализ и результаты компьютерных экспериментов.

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