Cálculo manual de los invariantes de las funciones booleanas
ISSN: 0210-8712
Year of publication: 1975
Year: 8
Issue: 26
Pages: 35-43
Type: Article
More publications in: Revista de informática y automática
Abstract
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.