Самый быстрый и легкий способ - логически порассуждать, применив правила алгебры логики (АЛ).
Запишем в немного упрощенном виде:
¬(a + b) * c.
Наше выражение состоит из отрицания первой части, в которой есть два слагаемых (ИЛИ = "+"), и умножения (И = "*") первой и второй частей. Так как нам нужно найти наборы, которые дают ложь, то проще всего будет посчитать вторую часть, которая будет ложна.
Вспомним правила АЛ:
0*0 = 0;
1*0 = 0;
0*1 = 0;
1*1 = 1;
Итого видим, что только в одном случае выражение дает истину - 1*1, чего нам стоит избегать.
Итак, попробуем решить вторую часть методом перебора:
|X+Y|. " alt=" Y^2 > |X+Y|. " align="absmiddle" class="latex-formula">
1)
|-1 + 1| = 1 > 0 " alt=" (1)^2 > |-1 + 1| = 1 > 0 " align="absmiddle" class="latex-formula">- истина.
2)
|0 + 2| = 4 > 2 " alt=" (2)^2 > |0 + 2| = 4 > 2 " align="absmiddle" class="latex-formula"> - истина.
3)
|0 + 0| = 0 > 0 " alt=" (0)^2 > |0 + 0| = 0 > 0 " align="absmiddle" class="latex-formula"> - ложь.
4)
|2 + (- 1)| = 1 > 1 " alt=" (-1)^2 > |2 + (- 1)| = 1 > 1 " align="absmiddle" class="latex-formula"> - ложь.
5)
|1 + (-1)| = 1 > 0 " alt=" (-1)^2 > |1 + (-1)| = 1 > 0 " align="absmiddle" class="latex-formula"> - истина.
Итого в ответ идут два выражения: 3, 4.
Для достоверности нужно проверить истинные выражения, подставив в первую часть (на случай, если будет "0*1").
Для этого упростим.
¬(a+b) = ¬a * ¬b.

1)
- истина.
2)
- ложь
5)
- истина.
Так как во втором выражении вышла ложь, то оно тоже пойдет в ответ (0*1 = 0).
Ответ: 2, 3, 4.