Почему некоторые логические операции в информатике имеют альтернативное математическое обозначение?

Некоторые логические операции в информатике имеют альтернативные математические обозначения из-за особенностей работы булевой алгебры, которая является формальным способом описания логических операций. en.wikipedia.org

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

• Отрицание (логическое «НЕ») обозначается как ¬. www.work5.ru
• Импликация (логическое «ЕСЛИ…, ТО…») обозначается как →. www.work5.ru
• Эквивалентность (логическое «ТОГДА И ТОЛЬКО ТОГДА») обозначается как ↔. www.work5.ru
• Строгая дизъюнкция (сложение по модулю 2) обозначается как ⊕ (логическое «ИЛИ ИСКЛЮЧАЮЩЕЕ»). www.work5.ru

При этом смысл логических операций остаётся неизменным, независимо от используемых обозначений. dzen.ru