Пособие содержит описание универсальной логической функции для эффективной работы с логическими системами и методы для проведения формализованных решений логических задач без визуализации промежуточных результатов. Приводятся эффективные методы оперирования булевыми матрицами, описание вновь разработанных матричных операций и матричный вариант реализации формулы Мейсона для решения сигнальных графов.
Предназначено для студентов, обучающихся по специальности 220301 «Автоматизация технологических процессов и производств» направления «Теплоэнергетика», а также для сотрудников, занимающихся проектированием решений задач на ЭВМ.
