Найти тему
Informatics

Логическая операция «Стрелка Пирса»

Оглавление
Что такое Стрелка Пирса? Что значит и как работает? Подробнее разберем эти вопросы в сегодняшней статье.

Определение

Начнем с того, что Стрелка Пирса — это бинарная логическая операция (иначе можно назвать антидизъюнкцией), булевая функция над двумя переменными, которая была введена в алгебру логики в 1880-1881 гг.

Стрелка Пирса обозначается знаком ↓, который отрицает все переменные. То есть, если к примеру взять такое выражение А↓В, то можно прочитать как "ни А и ни В".

Таблица истинности
Таблица истинности

Главная особенность заключается в том, Стрелка Пирса является универсальной, ведь с ее помощью можно построить другие логические операции: отрицание, дизъюнкция, конъюнкция, импликация.

Для Стрелки Пирса можно представить диаграмму Эйлера - Венна.

Диаграмма, описывающая операцию "Стрелка Пирса"
Диаграмма, описывающая операцию "Стрелка Пирса"

История возникновения

Самое интересное, что создателем этой логической операции стал один из основоположников семиотики - науки о знаках, а именно Чарльз Сандерс Пирс.

Чарльз Сандерс Пирс
Чарльз Сандерс Пирс

Об этом человеке можно говорить много, он внес большой вклад в развитие многих областей наук.

Из интересного в жизни:

  • Чарльз Сандерс Пирс купил в Кельне записную книжку и записал свои первые наблюдения системы цветового зрения. Чарльз Пирс - первый психолог, избранный в Национальную Академию Наук США.
  • Чарльз Пирс прославился в философии, психологии, математике.
  • Его имя знакомо и в программировании, машинном переводе. Также принимал участие в создании информационно-поисковых систем.

Область применения

Таблица стрелки Пирса используется при разработке логических схем компьютера для обозначения устройства. Это описываются значки слева или справа.

1
1
2
2

На вход а контура "или-НЕ" последовательно поступают импульсы 0,0,1,1 (фото 1), а на вход b - импульсы 0,1,0,1 (фото 2). Внутри дизъюнктора сигналы логически умножаются, затем сигнал с выхода дизъюнктора попадает в инвертор, и на выходе справа получается последовательность 1,0,0,0, это подтверждается семантической таблицей (она представлена выше).

Если статья была полезной и актуальной, жду ответную реакцию в качестве небольшого комментария. Спасибо за внимание!

Наука
7 млн интересуются