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