Как правильно записывать логические операции в математической записи?

Для записи логических операций в математической записи используются следующие обозначения: in.lit.msu.ru www.yaklass.ru

1. Логическое отрицание (инверсия). in.lit.msu.ru www.yaklass.ru Обозначение: Ā, ¬A, not А, не А. in.lit.msu.ru
2. Логическое сложение (дизъюнкция). in.lit.msu.ru www.yaklass.ru Обозначение: A v В, A or В, А + В, А или В. in.lit.msu.ru
3. Логическое умножение (конъюнкция). in.lit.msu.ru www.yaklass.ru Обозначение: А&В, A and В, А*В, А^В, АВ, А и В. in.lit.msu.ru

Порядок выполнения логических операций задаётся круглыми скобками. in.lit.msu.ru При отсутствии скобок порядок следующий: инверсия, конъюнкция, дизъюнкция. in.lit.msu.ru

Также в записи логических выражений помимо арифметических операций сложения, вычитания, умножения, деления и возведения в степень используются операции отношения < (меньше), <= (меньше или равно), > (больше), >= (больше или равно), = (равно), <> (не равно), а также логические операции и, или, не. book.kbsu.ru