что такое булевая логика? что такое булевая логика (не алгебра, а логика)

Насколько помню, булева логика - частный случай булевой алгебры, в котором над множеством из двух элементов (истина и ложь) определены логические операции коньюнкции, дизъюнкции, отрицания (и несколько производных от них операций).

Т. е. это "арифметика единиц и нулей", самая простая логика, без всяких высказываний, кванторов, правил вывода и более сложных вещей.

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