У меня есть школьный проект, где я должен найти решения игры "Lights Out" ( https://en.wikipedia.org/wiki/Lights_Out_(game) ) с помощью SAT Solver, но у меня возникают проблемы при попытке установить конъюнктивную нормальную форму игры. Игра...