La expresión 1) puede proceder de un problema lógico planteado o del paso de unas especificaciones a lenguaje algebraico.