Элементами множеств A, P и Q являются натуральные числа. Множество P — это все натуральные делители числа {1}, множество Q — все натуральные делители числа {2}.
Известно, что выражение
((x ∈ A) → (x ∈ P)) ∧ (¬(x ∈ Q) → ¬(x ∈ A))
истинно (т.е. принимает значение 1) при любом значении переменной x.
Определите наибольшее возможное количество элементов множества A. В ответе укажите одно целое число.