Какие логические операции применяются при составлении сложных математических формул?

При составлении сложных математических формул применяются следующие логические операции:

• Логическое отрицание (инверсия). in.lit.msu.ru Обозначение: Ā, ¬A, not А, не А. in.lit.msu.ru
• Логическое сложение (дизъюнкция). in.lit.msu.ru Обозначение: A v В, A or В, А + В, А или В. in.lit.msu.ru
• Логическое умножение (конъюнкция). in.lit.msu.ru Обозначение: А&В, A and В, А*В, А^В, АВ, А и В. in.lit.msu.ru
• Логическое следование (импликация). in.lit.msu.ru Обозначение: А → B, A ⇒В. in.lit.msu.ru
• Эквивалентность (равносильность). in.lit.msu.ru Обозначение: А ~ В, А ⇔ В, А ≡ В. in.lit.msu.ru
• Исключающее ИЛИ (сложение по модулю два). in.lit.msu.ru Обозначение: A XOR В. in.lit.msu.ru Высказывание A XOR В истинно, когда А и В не равны. in.lit.msu.ru

Порядок выполнения логических операций в сложном выражении: инверсия, конъюнкция, дизъюнкция, импликация, эквивалентность. spravochnick.ru infourok.ru Для изменения этого порядка используются скобки. spravochnick.ru infourok.ru