Алгебра логики -

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