
p = [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21]
q = [3, 6, 9, 12, 15, 18, 21, 24, 27, 30]
ans = 0
for x in range(30):
if (x in p) and (x in q):
ans += x
print(ans)
Объяснение:
Это логическое выражение, где переменными выступают выражения
,
и
. Обозначим их за
,
и
соответственно. Например,
, если
, и
иначе. У нас получается следующее выражение:

Раскроем импликацию и получим:

Уберём повторяющуюся
. Наше финальное выражение:

Таким образом, выражение из условия будет истинно, если число не принадлежит
, или не принадлежит
, или принадлежит
. Множество
наименьшего размера будет содержать все числа, которые не удовлетворяют условию
, то есть все числа, которые принадлежат и
, и
.