Алгебра логики
Раздел математической логики, рассматривающий высказывания и логические операции над ними с точки зрения истинности или ложности.
Алгебра логики описывает правила записи, преобразования и вычисления логических выражений. Часто алгебру логики называют булевой алгеброй по имени её основателя — Джорджа Буля.