Generate all well-formed formulae for expressions
Chapter 4, Problem 4.2(choose chapter or problem)
Generate all well-formed formulae for expressions involving the variables x, y, and z and the operators {+, *, I, -} with n or fewer symbols.
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer