Tipo y precedencia
BINARIO (1)
Descripción
NAND lógico (negación alterna, o incompatibilidad, o función de Sheffer)
Nota: la evaluación de la condición no se realizará en cortocircuito para el segundo operando
Cadena de entrada
!&
Cadena de salida
!&
Uso
<condición>!&<condicion>
Ejemplos
tverdad(p!&q,p,q)
VectorEvaluado: | falso falso verdadero | | falso verdadero verdadero | | verdadero falso verdadero | | verdadero verdadero falso |
Véase también…