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