Алгебра логики -- это математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразовывают логические высказывания. Создателем алгебры логики является математик Джордж Буль, в честь которого она названа булевой алгеброй высказываний.