Cálculo manual de los invariantes de las funciones booleanas
ISSN: 0210-8712
Año de publicación: 1975
Año: 8
Número: 26
Páginas: 35-43
Tipo: Artículo
Otras publicaciones en: Revista de informática y automática
Resumen
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.