Учебное пособие является содержанием одного из разделов курса лекций по дисциплине «Дискретная математика», читаемого на кафедре Электронных вычислительных машин студентам специальности ВМКСС.

Данный раздел закладывает основы для понимания проблем и методов их решения в курсе «Математическая логика и теория алгоритмов» а также в курсе «Теория цифровых автоматов» и является теоретической основой  логического проектирования цифровых устройств.