离散数学~~~
Generate all well-formed formulae for expressions involving
the variables x,y,and z and the operators {+,-,*,/} with n or
fewer symbols.