Если P (x, y): горит пиксель в строке x и столбце y.
Как бы я тогда выразил, что максимум один пиксель горит в каждой строке?
Я пытался использовать отрицание без эффекта. Есть ли у вас какие-либо советы, чтобы помочь мне по пути?
Это должно быть выражено как формула закрытого предиката