АЛГЕБРА БУЛЕВА


АЛГЕБРА БУЛЕВА — в информатике — математическая логика, предложенная Дж. Булем, объектами которой являются исследования высказываний (суждений), над которыми производятся операции, аналогичные операциям над числами в алгебре. В алгебре логики 〈см.〉 принято абстрагированно отождествлять истинность высказывания с числом 1, а ложность — с числом 0.

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