Как их отличать: наконечник стрелки это конъюнкция или дизъюнкция, а палка — отрицание сверху.
$\text{Штрих Шеффера: } x | y =x \uparrow y = \overline{x \text{ ∧ } y}$
$\text{Стрелка Пирса: } x \downarrow y = \overline{x \text{ ∨ } y}$
Штрих Шеффера — отрицание конъюнкции; стрелка Пирса — отрицание дизъюнкции.
Важно: далее будем считать, что таблица истинности построена в лексикографическом порядке. Иначе многие алгоритмы не работают.