функция отрицания конъюнкции

Sheffer (stroke) function