| '''Ampheck''', from [[Ancient Greek|Greek]] αμφήκης double-edged, is a term coined by [[Charles Sanders Peirce]] for either one of the pair of logically dual operators, variously referred to as [[Peirce arrow]]s, [[Sheffer stroke]]s, or [[logical NAND|NAND]] and [[logical NNOR|NNOR]]. Either of these logical operators is a ''[[sole sufficient operator]]'' for deriving or generating all of the other operators in the subject matter variously described as [[boolean function]]s, [[monadic predicate calculus]], [[propositional logic]], sentential calculus, or [[zeroth order logic]]. | | '''Ampheck''', from [[Ancient Greek|Greek]] αμφήκης double-edged, is a term coined by [[Charles Sanders Peirce]] for either one of the pair of logically dual operators, variously referred to as [[Peirce arrow]]s, [[Sheffer stroke]]s, or [[logical NAND|NAND]] and [[logical NNOR|NNOR]]. Either of these logical operators is a ''[[sole sufficient operator]]'' for deriving or generating all of the other operators in the subject matter variously described as [[boolean function]]s, [[monadic predicate calculus]], [[propositional logic]], sentential calculus, or [[zeroth order logic]]. |