Словарь по логике

Штрих Шеффера: 1. Двухместная логическая операция классической логики, задается следующей таблицей:
0 0 | 1
0 1 | 1
1 0 | 1
1 1 | 0

Другие названия: антиконъюнкция.
2. Знак операции "штрих Шеффера".