|| étant un opérateur "paresseux", je dirais que f est exécutée, et que g n'est exécutée que si c'est nécessaire (si f a renvoyé un résultat faux, donc)
l'ordre d'exécution serait donc garanti : toujours f avant g

non ?