Землеройка

Логика в информатике   4 ответа

Элементами множеств А, P и Q являются натуральные числа, причём P = {2, 4, 6, 8, 10, 12} и Q = {4, 8, 12, 116}. Известно, что выражение (x  P) → (((x  Q)  ¬(x A)) → ¬(x  P)) истинно при любом значении переменной х. Определите наименьшее возможное значение суммы элементов множества A. -значок принадлежности к множеству.
Интересно знать, есть ли какой-то общий алгоритм таких задач.