Función lógica:

Toda aquella variable binaria cuyo valor depende de una expresión algebraica constituida por otras variables que se encuentran relacionadas entre si por determinadas operaciones.

Función canónica:

Expresión lógica en la que todos sus términos contienen todas las variables de entrada, bien afirmadas o bien negadas.

Tabla de verdad:

Tabla formada por n columnas de entradas o variables (A, B, C....) y otra más de salida (f), y por 2ⁿ filas, de modo que cada una de las filas representa cada una de las combinaciones posibles que pueden tener las variables de entrada, y el valor que toma la variable de salida para cada combinación de las variables de entrada.

Los posibles valores que pueden tomar las distintas variables representan estados diferentes de un dispositivo, y están representados por los valores lógicos “cero” (apagado, abierto, desconectado, ausencia, nivel bajo,...) o “uno” (encendido, cerrado, conectado, presencia, nivel alto,...).

Cuando en una tabla de verdad una variable está representada por el valor “x” quiere decir que su valor no está definido o que es indiferente el valor que tome para la respuesta de la función lógica.

Lógica positiva y lógica negativa:

Las variables lógicas pueden tomar exclusivamente los valores 0 y 1. Estos valores se pueden conseguir eléctricamente por dos procedimientos diferentes, según como se asignen los niveles de tensión se habla de lógica positiva o negativa.