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

Элементами множества А являются натуральные числа. Известно, что выражение

¬(x ∈ {1, 2, 4, 8, 16}) ∧ ¬(x ∈ {3, 4, 9, 16}) ∨ (x ∈ A)

истинно (т. е. принимает значение 1) при любом значении переменной х. Определите наименьшее возможное количество элементов множества A.