Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др.
Для интересующихся проблемами кибернетики и вычислительной техники.