Método de simplificación de fórmulas por medio de álgebras finitas