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.)