Алгебра логики — это раздел математики, изучающий высказывания, рассматриваемые со стороны их истинности или ложности, и логические операции над ними. Основным понятием является высказывание — это повествовательное предложение, о котором можно сказать, истинно оно или ложно. Основные логические операции: 1. Конъюнкция (Логическое умножение, союз И) — результат истинен тогда и только тогда, когда оба высказывания истинны. 2. Дизъюнкция (Логическое сложение, союз ИЛИ) — результат истинен, если хотя бы одно из высказываний истинно. 3. Инверсия (Логическое отрицание, частица НЕ) — меняет значение на противоположное. Логические выражения могут быть сложными и включать несколько операций. Порядок выполнения операций: действия в скобках, инверсия, конъюнкция, дизъюнкция. Для анализа логических функций строятся таблицы истинности, которые показывают результат функции для всех возможных наборов входных значений. Логические операции лежат в основе работы процессора, где они реализуются программно-аппаратными средствами (логическими вентилями).