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

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

(x ∈ {2, 4, 8, 12, 15}) → (¬(x ∈ {3, 6, 8, 15}) ∨ (x ∈ A))

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