Resumen de Cálculo manual de los invariantes de las funciones booleanas
En este trabajo se propone un método manual para el cálculo de los invariantes de las funciones booleanas de hasta cuatro variables. No se pretende hacer un estudio de dichos invariantes, por lo que los resultados de esta rama de la teoría de las funciones booleanas que se han utilizado se dan sin demostración alguna. Este método resulta especialmente útil cuando es necesario manejar una tabla de realizaciones de funciones booleanas dadas en forma de invariantes.
