谓词逻辑最大值

Question

如果P（x，y）：x和y列上的像素点亮。 然后我该如何表示每行最多点亮一个像素？

我尝试使用否定无效。您有什么技巧可以帮助我吗？

它必须表示为封闭谓词公式