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.
