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

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

Логические операции: inf-ege.sdamgia.ru

• ¬A, |barA — не A (отрицание, инверсия); inf-ege.sdamgia.ru
• A ∧ B, A · B — A и B (логическое умножение, конъюнкция); inf-ege.sdamgia.ru
• A ∨ B, A + B — A или B (логическое сложение, дизъюнкция); inf-ege.sdamgia.ru
• A → B — импликация (следование); inf-ege.sdamgia.ru
• A ≡ B — эквивалентность (равносильность). inf-ege.sdamgia.ru

Операторы сравнения: tproger.ru

• Оператор эквивалентности (==) — проверяет и сравнивает два значения. tproger.ru
• Оператор неравенства (!=) — проверяет, разные ли два значения. tproger.ru
• Операторы сравнения порядка — <, >, <= или >=. it.rfei.ru Применяются только к тем типам данных, которые поддерживают отношение порядка. it.rfei.ru

В языке запросов поискового сервера для обозначения логической операции «ИЛИ» используется символ «|», а для обозначения логической операции «И» — символ «&». bosova.ru