Логические основы построения цифровых автоматов. Законы булевой алгебры и следствия из них. Таблицы истинности. Примеры.

Логические элементы — устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого — «1» и низкого — «0» уровней в двоичной логике).
Данные функции задаются следующими таблицами истинности
С целью упрощения записи формул, договоримся, что операция конъюнкция «сильнее» других логических операций, т.е. если в формуле нет скобок, то вначале выполняется операция конъюнкция.


Следовательно, формулы равносильны.