Golpe de sheffer
En funciones booleanas y cálculo proposicional , el trazo de Sheffer denota una operación lógica que es equivalente a la negación de la operación de conjunción , expresada en lenguaje ordinario como "no ambos". También se le llama nand ("no y") o la negación alternativa , ya que dice en efecto que al menos uno de sus operandos es falso. En electrónica digital , corresponde a la puerta NAND . Lleva el nombre de Henry M. Sheffer y se escribe como ↑ o como | (pero no como ||, a menudo usado para representar disyunción ). Ennotación de Bocheński se puede escribir como D pq .
Su dual es el operador NOR (también conocido como flecha de Peirce o daga de Quine ). Al igual que su dual, NAND puede usarse por sí mismo, sin ningún otro operador lógico, para constituir un sistema lógico formal (haciendo que NAND sea funcionalmente completo ). Esta propiedad hace que la puerta NAND sea crucial para la electrónica digital moderna , incluido su uso en el diseño de procesadores de computadora .
La operación NAND es una operación lógica en dos valores lógicos . Produce un valor de verdadero si, y solo si, al menos una de las proposiciones es falsa.
La tabla de verdad de (también escrita como , o D pq ) es la siguiente
El trazo de Sheffer de y es la negación de su conjunción
Por las leyes de De Morgan , esto también es equivalente a la disyunción de las negaciones de y