How do you know what the minimum number of logic gates you need is?

This is not always easy: here's an answer from Stack Exchange.