logika Staś: Doprowadź do postaci klauzulowej/klauzalnej 1. ∀_x ∃_y Q(x,y)→ ∃_z ∀_u P(u,z) 2. [∃_x ∀_y P(x,y)→Q(y,x)]→ ∀_y ∃_x P(x,y) 3. ∀_x P(x)→ ¬ ∃_y Q(y) 4. ∀_x ∀_y ∃_z P(x,y,z)→ ¬ ∃_y ∀_x P(x,y,x) Ktoś pomoże?

Staś: ma to być postać CNF. Nie do końca rozumiem jak opuszczać te kwantyfikatory.