Булеву функцию с булевыми аргументами можно задать при помощи таблицы истинности. Ниже приведены таблицы истинности для трех функций с двумя аргументами: для конъюнкции (AND), для импликации (=>) и для строгой дизъюнкции (XOR).

Подсчитайте, сколько существует различных булевых функций с шестью аргументами τ(a, b, c, d, e, f), для которых выполняется условие
τ(a, b, c, d, e, f) AND τ(b, c, d, e, f, a XOR (b => c)) = 0
при  любых сочетаниях (a, b, c, d, e, f)?

Вообразите бесконечный в оба конца ряд чаш, перенумерованных целыми числами.

В некоторых чашах лежат бобы. Разрешается делать ходы следующего вида: взять два боба из одной чаши и разложить их в две соседние. Игра заканчивается, когда сделать ход невозможно.

В примере на рисунке в две соседние чаши положили 2 и 3 боба, а остальные чаши оставили пустыми. Как видно, такую игру можно закончить за 8 ходов.

Рассмотрим последовательность целых чисел bi следующего вида:

b0 = 0, b1 = 289, b2 = 145

bi = (bi-1 + bi-2 + bi-3) mod 2013,

где x mod y означает остаток от деления x на у.

Пусть количество бобов в двух соседних чашах определяется числами b1 = 289 и b2 = 145, а остальные чаши в начальном положении пусты. В этом случае игру можно закончить за 3419100 ходов.

Подсчитайте, сколько ходов потребуется для завершения игры , если в начальном положении в чашах с номерами от 1 до 1500 лежит b1, b2, ... b1500 бобов, соответственно, а остальные чаши пусты.