Koniunkcja i alternatywa

[Hyponos]

Podaj przykłady liczb \(\displaystyle{ x}\) i \(\displaystyle{ y}\), które należy podać aby otrzymać zdanie prawdziwe.

\(\displaystyle{ \left[\left( y<-7 \vee y \ge -6 \right) \wedge \left( x= \sqrt{13} \vee x<1 \right) \right] \wedge \left[ \left( x= \frac{1}{2} \sqrt{3} \wedge y>2 \right) \vee \left( x<0 \wedge y=-7\right) \right]}\)

(Nie jestem pewien czy polecenie przpisałem dobrze)

Z góry dziękuje za pomoc

[tatteredspire]

Sprawdź czy zdanie będzie prawdziwe gdy \(\displaystyle{ x=\frac{\sqrt{3}}{2}}\) i \(\displaystyle{ y=3}\).