Алгебра логики — это один из основных разделов символической логики, в основе которого лежит применение алгебраических методов к логике (см. Логика). Алгебра логики — исторически первая форма символической логики (см. Символическая логика), возникшая в середине XIX века в трудах Дж. Буля. К её созданию привела аналогия между решением алгебраических уравнений и выводом следствий из посылок, а также то, что алгебраические уравнения применимы при решении задач из различных областей знания. Поначалу алгебра логики имела своим предметом классы (как объёмы понятий), соотношения между классиками по объёму и связанные с этим операции над ними. Позднее, в связи с появлением в 70-х годах XIX века теории множеств, взявшей на себя часть этих задач, предмет алгебры логики значительно изменился. Основным её предметом стали высказывания (суждения, предложения), рассматриваемые со стороны их логических значений (истина, ложь, бессмыслица и другие), и логические операции над ними.