Trazo 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 en efecto dice 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 está escrito como ↑ o como | (pero no como ||, a menudo utilizado para representar la disyunción ). EnLa notación de Bocheński se puede escribir como D pq .
Su dual es el operador NOR (también conocido como la flecha de Peirce o la 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.
Según las leyes de De Morgan , esto también equivale a la disyunción de las negaciones de y