x=0 \wedge y=6 \vee x=6 \wedge y=0 ? Używanie znaczków zamiast słów to naprawdę zły pomysł - tak zapisana formuła jest niepoprawna. Jak już, to x=0 \wedge y=6 lub x=6 \wedge y=0. No tak, x=-1 \wedge y=-7 \vee x=-7 \wedge y=-1 ? No skąd (choć idea słuszna). Przemyśl to jeszcze raz. JK