Решите на пайтон Элементами множеств А, P, Q являются натуральные числа, причём P = {1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21}, Q = {3, 6, 9, 12, 15, 18, 21, 24, 27, 30}. Известно, что выражение

((x ∈ P) → (x ∈ A)) ∨ (¬(x ∈ A) → ¬(x ∈ Q))

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

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)

Объяснение:

Это логическое выражение, где переменными выступают выражения , и . Обозначим их за , и соответственно. Например, , если , и иначе. У нас получается следующее выражение:

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

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

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