Как булев тип данных связан с именем математика Джорджа Буля?

Булев тип данных (логический тип данных, Boolean) назван в честь английского математика и логика Джорджа Буля. ru.wikipedia.org ru.ruwiki.ru

Буль занимался вопросами математической логики в середине XIX века и ставил перед собой цель решать традиционные логические задачи посредством алгебраических методов. ru.wikipedia.org ru.ruwiki.ru

Для этого он стал обозначать символами не числа, как это делается в обычной алгебре, а высказывания, и показал, что уравнениями, схожими с алгебраическими, можно решать вопросы об истинности и ложности высказываний. znanierussia.ru