Элементы этих множеств создают такие пары:
(X; Y) = (2; 3); (2; 6); (2; 9); (5; 3); (5; 6); (5; 9); (6; 3); (6; 6); (6; 9);
(8; 3); (8; 6); (8; 9)
Предикат P(X; Y) означает вот что:
1) Хотя бы одно число из пары (X; Y) – нечетно.
2) Максимум из пары (X; Y) – нечетно.
Два этих утверждения должны быть истинны одновременно, потому что между ними стоит знак &, означающий "Лог. И".
Пары, на которых предикат P(X; Y) истинный – это множество пар:
A = {(2; 3); (2; 9); (5; 3); (5; 9); (6; 9); (8; 9)}.
Это, как понимаю, и есть область истинности предиката P(X; Y).