Выражение (¬ (x ∈ G)) → (¬ (x ∈ {1, 3, 7})) ∨ (¬ (x ∈ {1, 2, 4, 5, 6}) ∧ (x ∈ {1, 3, 7})) истинно при любом значении переменной x. Элементы множества G — натуральные числа.
Определите наименьшее возможное количество элементов в множестве G.