Obtención de la función lógica a partir de la tabla de verdad
1.   Localizar los valores 1 de la salida.
2.  Leer los valores de las variables de entrada para cada caso en los que la salida es 1.
3.   Asignar, por ejemplo para la variable A, A cuando vale 1 y A' cuando vale 0.
4.   Multiplicar los valores obtenidos para cada fila.
5.   Sumar todos los resultados.

          
Simplificación de la función lógica
1. Buscar factores comunes
2. Aplicar la propiedad distributiva
3. Eliminar términos aplicando las propiedades  a + a' = 1  y a + 1 = 1
s = abc'd + a'bc'd + ab'c'd' + ab' = bc'd (a + a') + ab' (c'd' + 1) = bc'd + ab
 

Álgebra de Boole

a + b = b + a	a·b = b·a
a + (b + c) = (a + b) + c = a + b + c
a · (b · c) = (a · b) · c = a · b · c
a (b + c) = ab + ac
a + bc = (a + b) (a + c)
a + a' = 1	a · a' = 0
a + a = a	a · a = a
a + a·b = a	a (a + b) = a
a + 1 = 1	a · 0 = 0