Álgebra de Boole

Las tablas de especificación son, efectivamente, las "tablas de verdad". Una tabla de verdad (donde se indica la(s) salida(s) para cada combinación de entrada(s) posible) es una forma de especificar la función.