Алгебра логики — раздел математической логики, изучающий логические законы, выражаемые формулами, построенными из высказывательных констант и переменных, а также из символов логических связок. Алгебра логики применяется при решении традиционных логических задач алгебраическими методами, в теории множеств, теории вероятностей, в дискретной автоматике. Отдельные высказывания в алгебре логики обозначаются буквами какого-либо алфавита. Истинность высказывания принято отождествлять с числом «1», а ложность — с числом «0». Функции, принимающие эти два значения, являются предметом изучения алгебры логики. Основными логическими операциями являются: отрицание Ā, логическое умножение, или конъюнкция (А∧В), логическое сложение, или дизъюнкция (А∨В), эквивалентность (А=В), импликация (А→В). Формулы алгебры логики получаются посредством составления сложных выражений из простых высказываний с использованием основных логических операций.
[Зотов В.В., Маслов Ю.Н., Пядочкин А.Е., Самойлов Л.К., Темников Ф.Е., Хорошилов В.О., Черпаков Б.И. Терминологический словарь по автоматике, информатике и вычислительной технике — Москва: Высшая школа, 1989 — с.191]
Алгебра логики (булева алгебра) — математический аппарат, с помощью которого записывают (кодируют), упрощают, вычисляют и преобразовывают логические высказывания.
[Словарь понятий по информатике от А до З. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user/415987/page/slovar-kompyuternyh-…/, свободный.]