Штрих Шеффера - бинарная логическая операция, булева функция над двумя переменными

Принимает два логических высказывания и возвращает ложное значение, если оба высказывания истинны, и истинное значение в остальных случаях.