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