Ответ:

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