Logik Predikatlogik: formalisering uppgift b) och c)

Dessa kändes snarlika fast på rad istället för kolumn så tänkte såhär:

b) $\forall x \exists y\left(P\right(x,y\left)\right)$ "på alla rader x, existerar det ett y så att en pixel (x,y) är tänd" 

c) $\exists y \forall x \left(P\right(x,y\left)\right)$ "det existerar en kolumn y, så att för alla x är pixeln (x,y) tänd"

Har inget verktyg för att verifiera detta och är ny inom området så uppskattar alla form av tips och hjälp!

tack på förhand!