The paper explores the contribution of logic games and puzzles in the educational environment, emphasizing their ability to stimulate cognitive development and critical thinking in students. Showing the historical moments in which games became an integral part of the educational process, the work reveals the deeper psychological mechanisms of learning through games and puzzles. Nonogram, as one of the central themes, stands out as a logical game that combines visual and numerical elements in a unique way. The paper explains in detail its basic principles and methods of solving, especially highlighting the role of the SAT solver in solving more complex tasks. A further segment of the paper is devoted to logical puzzles, their historical relevance, and their influence on the development of logical thinking through time. At the same time, the paper connects the world of games and puzzles with formal mathematical approaches, focusing especially on proof theory. In conclusion, the paper summarizes its findings and highlights the revolutionary potential of integrating logic games and puzzles in modern education, emphasizing their role as key tools in the formation of future generations capable of deep analysis and creative problem-solving.