У меня есть несколько таких таблиц
Table P(x,y) Table Q(x, y) Table R(x) Table T(x)
x y x y x x
0 1 1 0 0 0
0 2 2 1 1 1
1 2 3 2
3
Как проверить, существует ли ОДИН x1, y1, x2, y2 удовлетворяет P (x1, y1) ^ R (x1) ^ T (x2)^ P (x2, y2) во всех вышеупомянутых множественных таблицах в python?