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