7.4.5 Sheffer-féle művelet

Legyen p és q adott kijelentések.

Két kifejezés Sheffer-féle művelete: A p és q kijelentések Sheffer-féle műveletén a „nem p vagy nem q" kijelentést értjük. Jele: .

Megjegyzés.

A művelet tulajdonképpen a konjunkció tagadása (NAND), azaz .

A Sheffer-féle művelet igazságtáblája:

Megjegyzés.