Нарисуем на диаграмме, при каких x выражение ((x ∈ A) → (x ∈ P)) ∧ ((x ∈ Q) → ¬(x ∈ A)) истинно. Выражение состоит из двух условий, соединенных логическим и, так что оно будет истинным в том и только в том случае, когда оба условия истинны.
(x ∈ A) → (x ∈ P) истинно всегда, кроме случая x ∈ A, x ∉ P. На рисунке область истинности выделена синей штриховкой. (x ∈ Q) → ¬(x ∈ A) истинно всегда, кроме случая x ∈ Q, x ∈ A. На рисунке эта область выделена зелёной штриховкой.
Формула истинна, если x принадлежит областям, выделенным обеими штриховками одновременно. Если формула верна при всех x, то области, не выделенные какой-то из штриховок, не содержат элементов, так что всё множество A состоит из элементов, которые есть в P, но которых нет в Q (эта область на рисунке помечена звёздочкой). Подходящих элементов всего 7: P \ Q = {2, 4, 8, 10, 14, 16, 20}, – так что максимальное количество элементов в A равно семи.
Второй игрок выиграет первым ходом в том случае, если первый прибавит ко второй куче 3 или умножит её содержимое на 3, иначе говоря станет больше 7, что предвещает победу на 2-ом ходе игрока №2. Следовательно первый игрок так не пойдёт. Остаётся 2 варинта безошибочных ходов для игрока №1, это прибавить к первой куче 3 или умножить её содержимое на 3, тем самым не дать выиграть оппоненту на 2-ом ходе, и при таком действии №2 не сможет совершить ход, после которого №1 не смог бы превзойти 22. 1;3 ---> №1 3;4 ---> №2 9;4 или 6;4 или 3;7 или 3;12 --> №1 побеждает при умножении сорержимого кучи с большим числом камней на 3 1;3 ---> №1 4;4 ---> №2 7;4 или 12;4 или 4;7 или 4;12 аналогично следующий ход №1 будет выигрышным
i=8 бит= 2^3 бит
Количество символов К=J/i =2^19 / 2^3=2^16 =65536