Тренировка задания 15 ЕГЭ (15.17)

Решение 15 задания :

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

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

истинно (т. е. принимает значение 1) при любом значении переменной х.

Определите наименьшее возможное значение суммы элементов множества A.