Sheffer સ્ટ્રોક કાર્ય કહેવામાં આવે છે, જે જોડાણમાં અને લોજિકલ કે નકારે - કાર્ય, વિચ્છેદને ખંડન કરે છે.