Resultado de la búsqueda: reglas de transformacion en logica