алгебра, в которой каждая переменная может принимать одно из двух значений: «истина» или «ложь». Операции над переменными в булевой алгебре называются логическими операциями. Правила выполнения логических операций удобны для преобразования логических схем, в связи с чем она находит широкое применение в компьютерной технике и технологиях.