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

В логике для обозначения дизъюнкции (логического «ИЛИ») сначала использовали разные символы: ru.ruwiki.ru

• Джордж Буль обозначал знаком + строгую дизъюнкцию. ru.ruwiki.ru
• Уильям Джевонс предложил для дизъюнкции знак ·|·. ru.ruwiki.ru
• Эрнст Шрёдер и П. С. Порецкий вновь использовали знак +, но уже применительно к обычной дизъюнкции. ru.ruwiki.ru
• Символ ∨ как обозначение дизъюнкции впервые встречается в статье «Математическая логика, основанная на теории типов» Бертрана Рассела (1908). ru.ruwiki.ru Он образован от лат. vel, что означает «или». ru.ruwiki.ru

В программировании для дизъюнкции в разных языках использовали различные обозначения: ru.ruwiki.ru ru.wikipedia.org

• В Фортране IV и PL/I применялись соответственно обозначения .OR. и | (с возможностью замены последнего на ключевое слово OR). ru.ruwiki.ru ru.wikipedia.org
• В языках Паскаль и Ада используется зарезервированное слово or. ru.ruwiki.ru ru.wikipedia.org
• В языках C и C++ применяются обозначения | для побитовой дизъюнкции и || для логической дизъюнкции. ru.ruwiki.ru ru.wikipedia.org
• В языках C/C++/Perl/PHP логическое «ИЛИ» обозначается символом «||», а побитовое — символом «|». ru.wikipedia.org
• В языках Pascal/Delphi оба вида дизъюнкции обозначаются с использованием ключевого слова «or», а результат действия определяется типом операндов. ru.wikipedia.org