Булева логика

(булева алгебра). Названа по имени английского математика Джорджа Буля (Boole, 1815-1864), разработавшего алгебру логики, которая сводит логические связи к простым выражениям «И», «Или» и «Не». Буль показал, как разные типы суждений дедуктивной логики могут быть представлены символами, которыми можно оперировать в соответствии с твердыми правилами и получать необходимые умозаключения. Булева алгебра позволила автоматизировать логику и формулирование логических задач для применения в компьютерах.