Законы математической логики

Элементами множеств А, P, Q являются натуральные числа, причём P={1,2,3,4,5,6,7,8,9,10}, Q={2,4,8,10}. Известно, что выражение

((x ∈ Q) → (x ∈ A)) ∧ ((x ∈ A) → (x ∈ P))

истинно (т.е. принимает значение 1 при любом значении переменной х. Определите количество возможных вариантов множества А.