Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными.

• Августус де Морган (1806-1871) 
• Уильям Стенли Джевонс (1835-1882) 
• Платон Сергеевич Порецкий (1846-1907) 
• Чарлз Сандерс Пирс (1839-1914) 
• Андрей Андреевич Марков (1903-1979) 
• Андрей Николаевич Колмогоров (1903-1987) и др.

В 1938 г. американский математик и инженер Клод Шеннон (1916-2001) применил алгебру логики для описания процессов функционирования релейно-контактных и электронно-ламповых схем.

Базовыми элементами, которыми оперирует алгебра логики, являются высказывания.

Высказывание — это языковое образование, в отношении которого имеет смысл говорить о его истинности или ложности (Аристотель). 

Высказывание называется простым (элементарным), если никакая его часть не является высказыванием.

Сложные высказывания строятся с помощью слов-связок 

«и», «или», «не», «если то ...», «тогда и только тогда, когда ...» и т. п. 

Истинность или ложность получаемых высказываний зависит от истинности и ложности исходных высказываний и соответствующей трактовки связок как 

логических операций над высказываниями.

Обозначение:

• ИСТИНА — символы «И» и «1»
• ЛОЖЬ — символы «Л» и «0».

---

Таблицы истинности 

Законы алгебры логики

Схемы

---

СОСТАВЛЕНИЕ ЗАПРОСОВ ДЛЯ ПОИСКОВЫХ СИСТЕМ С ИСПОЛЬЗОВАНИЕМ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ