Solve[D[y == 1 - x Exp[y], x, NonConstants -> y] /. 

  D[y, x, NonConstants -> {y}] -> dy, dy]

Exp[y]就是E^y,前面有个x和空格表示两者相乘。NonConstants -> y是D函数的参数选项，表示y是依赖于x的函数，就是说求偏导的时候别等于零了。都是F1一下就能知道的。/.A-＞B表示把前面出现的A都替换成B。话说F1不能用手点菜单帮助总是可以的吧？