**Different formulations to solve the same problem**

When dealing with combinations of *relational* and *
logical* operators, it is almost always possible to formulate the solution to
the problem in at least two different ways.

I learned in logic-design classes in my electrical engineering curriculum in graduate school that there is a formal theorem that describes this process.

(I still remember how to implement the theorem in a formal way, but I can't remember the name of the theorem.

Otherwise, I would direct you to a web site that explains the theorem.)