Алгебра логики - Это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности) и логических операций над ними. Алгебра логики возникла в середине ХIХ века в трудах английского математика Джорджа Буля.
Логика - 1) Наука о законах мышления и его формах
2) Ход рассуждений, умозаключений.