Значение АЛГЕБРА ЛОГИКИ в Большом энциклопедическом словаре

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

система алгебраических методов решения логических задач и совокупность таких задач; в узком смысле - табличное, матричное построение логики высказываний, определяющее логические операции над ними.

Большой энциклопедический словарь.