Операции стрелка Пирса и штрих Шеффера

Эти операции дополняют объединение и пересечение до фундаментального множества соответственно.

На языке логических формул это записывается следующим образом:

Стрелка Пирса – это дополнение к объединению

Штрих Шеффера – дополнение к пересечению

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

Стрелка Пирса		Штрих Шеффера
X1	X2	Y = X1 ↓ X2		X1	X2	Y = X1 | X2

Из диаграмм Эйлера-Венна и таблице истинности видно:

Стрелки Пирса:

Штрих Шеффера: