Is there any way tp systematically solve gate problems?
Usually a basic understanding of truth tables and some useful methods of reduction like K-Maps or QM solves most of the problems (for reducing / simplifying the boolean equations) ...
Design of logic circuits usually relate to what i said above.
What type of problem. Are you just trying to read ahead in preperation for school?
Separate names with a comma.