Znaleźć zbiory punktów spełniających następujące funkcje zdaniowe. zxcv: Znaleźć zbiory punktów spełniających następujące funkcje zdaniowe: 1) φ(y): ⋁_x∊ℛ x² + y² = 1 2) φ(y): ⋀_x∊ℛ x² + y² = 1 3) φ(y): ⋀_x∊ℛ xy = 1 4) φ(z): ⋀_x∊ℛ⋁_y∊ℛ x² + y² = z² 5) φ(z): ⋁_x∊ℛ⋀_y∊ℛ xy = z Nie do końca rozumiem jak zrobić takie zadanie, jak znaleźć te zbiory punktów? Mam wyznaczyć z tego jakąś zmienną? Jeśli tak to co potem? Proszę o naprowadzenie / pomoc w zrozumieniu jak coś takiego zrobić.