Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др.Издательство: Радио и связьАвтор: Шапиро С. Это и многое другое вы найдете в книге Решение логических и игровых задач (С. Шапиро)