В начало сайта

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