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