# data[].attributes.body
Cada compuerta tiene dos variables de entrada designadas por A y B y una salida binaria designada por x.

La compuerta And produce la multiplicación lógica And: esto es: la salida es 1 si la entrada A y la entrada B están ambas en el binario 1: de otra manera, la salida es 0.
Estas condiciones también son especificadas en la tabla de verdad para la compuerta AND. La tabla muestra que la salida x es 1 solamente cuando ambas entradas A y B están en 1.
El símbolo de operación algebraico de la función And es el mismo que el símbolo de la multiplicación de la aritmética ordinaria (*).
Las compuertas And pueden tener más de dos entradas y por definición, la salida es 1 si todas las entradas son 1.

# data[].attributes.body
La compuerta Or produce la función sumadora, esto es, la salida es 1 si la entrada A o la entrada B o ambas entradas son 1; de otra manera, la salida es 0.
El símbolo algebraico de la función Or (+), es igual a la operación de aritmética de suma.
Las compuertas Or pueden tener más de dos entradas y por definición la salida es 1 si cualquier entrada es 1.

# data[].attributes.body
El circuito Not es un inversor que invierte el nivel lógico de una señal binaria. Produce el Not, o función complementaria. El símbolo algebraico utilizado para el complemento es una barra sobra el símbolo de la variable binaria.
Si la variable binaria posee un valor 0, la compuerta Not cambia su estado al valor 1 y viceversa.
El círculo pequeño en la salida de un símbolo gráfico de un inversor designa un inversor lógico. Es decir cambia los valores binarios 1 a 0 y viceversa.

# data[].attributes.headline
Compuerta Lógica / Compuerta Yes (Separador)

# data[].attributes.subject
Compuerta Lógica / Compuerta Yes (Separador)

# data[].attributes.body
Un símbolo triángulo por sí mismo designa un circuito separador, el cual no produce ninguna función lógica particular puesto que el valor binario de la salida es el mismo de la entrada.
Este circuito se utiliza simplemente para amplificación de la señal. Por ejemplo, un separador que utiliza 5 volt para el binario 1, producirá una salida de 5 volt cuando la entrada es 5 volt. Sin embargo, la corriente producida a la salida es muy superior a la corriente suministrada a la entrada de la misma.
De ésta manera, un separador puede excitar muchas otras compuertas que requieren una cantidad mayor de corriente que de otra manera no se encontraría en la pequeña cantidad de corriente aplicada a la entrada del separador.

# data[].attributes.body
Es el complemento de la función And, como se indica por el símbolo gráfico, que consiste en una compuerta And seguida por un pequeño círculo (quiere decir que invierte la señal).
La designación Nand se deriva de la abreviación Not - And. Una designación más adecuada habría sido And invertido puesto que es la función And la que se ha invertido.
Las compuertas Nand pueden tener más de dos entradas, y la salida es siempre el complemento de la función And.

# data[].attributes.body
La compuerta NOR es el complemento de la compuerta OR y utiliza el símbolo de la compuerta OR seguido de un círculo pequeño (quiere decir que invierte la señal). Las compuertas Nor pueden tener más de dos entradas, y la salida es siempre el complemento de la función Or.

# data[].attributes.body
El valor verdadero se representa con la letra V; si se emplea notación numérica se expresa con un uno: 1; en un circuito eléctrico, el circuito está cerrado.

# data[].attributes.body
El valor falso se representa con la letra F; si se emplea notación numérica se expresa con un cero: 0; en un circuito eléctrico, el circuito está abierto.

# data[].attributes.body
Para una variable lógica A, B, C, ... que pueden ser verdaderas V, o falsas F, los operadores fundamentales se definen

|A|A|

|V|V|

|F|F

# data[].attributes.body
La negación es un operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.

# data[].attributes.body
La conjunción es un operador que actúa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas

La tabla de verdad de la conjunción es la siguiente:

|A|B|A^B|

|V|V| V |

|V|V| F |

|F|V| F |

|F|F| F |

# data[].attributes.body
El condicional material es un operador que actua sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.

# data[].attributes.headline
Tabla de Verdad / Implicación o Condicional 

# data[].attributes.subject
Tabla de Verdad / Implicación o Condicional 

# data[].attributes.body
El condicional material es un operador que actua sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.

# data[].attributes.headline
Tabla de Verdad /  Equivalencia o Bicondicional

# data[].attributes.subject
Tabla de Verdad /  Equivalencia o Bicondicional

# data[].attributes.body
El bicondicional o doble implicación es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad son diferentes.