Алгебра логики

Если с помощью цифровых схем хотят добиться выполнения определенных законов управления или вычислений, то необходимо найти схемы, которые «могут» реализовать задуманное. Схемы для простых заданий можно найти путем подбора (см. гл. 5). Однако чем выше требования к схеме, тем меньше вероятность ее нахождения методом подбора.
Даже если после длительных стараний удается найти подходящую схему, она обычно оказывается избыточно функциональной, и ее применение экономически нецелесообразно. Найти простую, но идеально подходящую схему методом подбора невозможно.
Для анализа и синтеза цифровых схем служит разработанный английским математиком Булем (1815—1864) математический аппарат, который изучается в средней школе в курсе «Теория множеств». Специальным разделом булевой алгебры является алгебра логики.

Похожие статьи