Номер §20 № 15

Выберем Чарльза Сандерса Пирса. Для краткой справки укажем годы жизни, область работы и связь его имени с изучаемой функцией. Пирс занимался логикой и математикой; его исследования показали, что при помощи одной операции отрицания дизъюнкции можно выражать другие логические операции.

Например, операция стрелка Пирса определяется равенством $\overline{}$. Если подать на оба входа одно и то же значение, получится отрицание: $\overline{}$ по закону идемпотентности. Это объясняет, почему исследование такой функции важно для алгебры логики.