Сколько существует различных наборов значений логических переменных x1, x2,…, x9, которые удовлетворяют всем перечисленным ниже условиям?
(x1≡x2)→(x2≡x3) = 1
(x2≡x3)→(x3≡x4) = 1
...
(x7≡x8)→(x8≡x9) = 1
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, ..., x9, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.
Запишем переменные в строчку: x1x2x3x4x5x6x7x8x9. Импликация ложна только в том случае, когда из истины следует ложь. Условие не выполняется, если в ряду после пары одинаковых цифр присутствует другая цифра. Например, «11101...», что означает невыполнение второго условия.
Рассмотрим комбинации переменных, удовлетворяющие всем условиям. Выпишем варианты, при которых все цифры чередуются, таких два: 101010101 и 010101010. Теперь для первого варианта, начиная с конца, будем увеличивать количество повторяющихся подряд цифр (настолько, насколько это возможно). Выпишем полученные комбинации: «1010 10111; 1010 11111; 1011 11111; 1111 11111; 1010 10100; 1010 10000; 1010 00000; 1000 00000; 0000 00000» таких комбинаций одиннадцать, включая исходную. Аналогично для второго варианта: «0101 01010; 0101 01000; 0101 00000; 0100 00000; 0000 00000; 0101 01011; 0101 01111; 0101 11111; 0111 11111 1111 11111» — таких комбинаций также одиннадцать. Заметим, что комбинации 0000 00000 и 1111 11111 учтены дважды. Таким образом, получаем 10 + 10 − 2 = 18 решений.
Ответ: 18.

