Определите основные понятия алгебры логики: логическая величина, логическая операция, логическая формула.

Логическая величина — это константа или переменная, принимающая значения ИСТИНА или ЛОЖЬ. В алгебре логики имеются шесть логических операций. Они называются так:
1)        отрицание (инверсия),
2)        логическое умножение (конъюнкция);
3)        логическое сложение (дизъюнкция);
4)        разделительная дизъюнкция;
5)        следование (импликация);
6)        эквивалентность.
Первые три являются основными логическими операциями. Логическая формула — это выражение, содержащее логические величины и знаки логических операций.