АЛГЕБРА ЛОГИКИ


АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий строение сложных логических высказываний и способы установления их истинности с помощью алгебраических методов.

В формулах Алгебры логики переменные являются логическими или двоичными, т. е. принимающими только два значения — ложь и истина, которые обозначаются соответственно 0 и 1. Любая программа 〈см.〉 для ЭВМ содержит логические операции.