Элементами множеств и
являются натуральные числа, причём
и
. Известно, что выражение
тождественно истинно (т.е. принимает значение 1 при любых неотрицательных целых значениях переменной ). Укажите наименьшее возможное значение произведения элементов множества
.
Упростим выражение раскрыв импликацию и отрицание:
Сделаем отрицание известной части, чтобы определить, при каких исходное выражение ложно:
Это выражение истино (а исходное, соответственно, ложно) при , которые принадлежат и множеству
и множеству
одновременно. Получаем что, при
исходное выражение ложно. Тогда, множество
должно содержать как минимум эти
. Так как в задании просят определить наименьшее возможное значение суммы элементов множества
, то в этом множестве будут только эти два элемента:
. Отсюда получаем ответ
.