Еще пример задания:
Сколько различных решений имеет система уравнений
(X1 X2) (¬X1 ¬X2) (¬X3 X4) (X3 ¬X4) = 1
(X3 X4) (¬X3 ¬X4) (¬X5 X6) (X5 ¬X6) = 1
(X5 X6) (¬X5 ¬X6) (¬X7 X8) (X7 ¬X8) = 1
(X7 X8) (¬X7 ¬X8) (¬X9 X10) (X9 ¬X10) = 1
где x1, x2, …, x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.
Решение:
количество комбинаций 10 логических переменных равно 210 = 1024, поэтому вариант с построением полной таблицы истинности отпадает сразу
решать такую систему «в лоб» достаточно сложно, нужно попробовать ее упростить
заметим, что
(X1 X2) (¬X1 ¬X2) = (X1 X2),
где символ означает операцию «эквивалентность» (значения равны);
кроме того,
(¬X3 X4) (X3 ¬X4) = (X3 X4) = ¬(X3 X4),
где символ означает операцию «исключающее ИЛИ» (значения НЕ равны); это операция, обратная эквивалентности
используем замену переменных, выделив члены, объединяющие пары исходных переменных (X1 и X2, X3 и X4, X5 и X6, X7 и X8, X9 и X10)
Y1 = ¬(X1 X2) Y2 = ¬(X3 X4)
Y3 = ¬(X5 X6) Y4 = ¬(X7 X8)
Y5 = ¬(X9 X10)
при этих обозначения система уравнений преобразуется к виду
¬Y1 Y2 = 1
¬Y2 Y3 = 1
¬Y3 Y4 = 1
¬Y4 Y5 = 1
как показано выше (при разборе пред-предыдущей задачи), такая система имеет 5+1 = 6 решений для независимых переменных Y1 … Y5
предположим, что значение Y1 известно (0 или 1); поскольку , по таблице истинности операции «эквивалентность» есть две соответствующих пары (X1;X2) (как для случая Y1 = 0, так и для случая Y1 = 1)
у нас есть 5 переменных Y1 … Y5, каждая их комбинация дает 2 пары (X1;X2), 2 пары (X3;X4), 2 пары (X5;X6), 2 пары (X7;X8) и 2 пары (X9;X10), то есть всего 25 = 32 комбинации исходных переменных
таким образом, общее количество решений равно 6 ·32 = 192
ответ: 192 решения
Решение (метод отображений1, решение А.Н. Носкина):
упростим систему уравнений, заметим, что
(X1 X2) (¬X1 ¬X2) = (X1 X2),
где символ означает операцию «эквивалентность» (значения равны);
кроме того,
(¬X3 X4) (X3 ¬X4) = (X3 X4) = ¬(X3 X4),
где символ означает операцию «исключающее ИЛИ» (значения НЕ равны); это операция, обратная эквивалентности;
при этих обозначения система уравнений преобразуется к виду
(X1 X2) ¬(X3 X4) = 1
(X3 X4) ¬(X5 X6) = 1
(X5 X6) ¬(X7 X8) = 1
(X7 X8) ¬(X9 X10) = 1
построим таблицу, в которой переберем все варианты x1, x2, x3, x4, поскольку в первом логическом уравнении четыре переменных, то таблица будет иметь 16 строк (16=24);
уберем из таблицы (желтая заливка) такие значения x4, при которых первое уравнение не имеет решения.
x1 | X2 | X3 | X4 |
0 | 0 | 0 | 0 |
1 |
1 | 0 |
1 |
1 | 0 | 0 |
1 |
1 | 0 |
1 |
1 | 0 | 0 | 0 |
1 |
1 | 0 |
1 |
1 | 0 | 0 |
1 |
1 | 0 |
1 |
анализируя таблицу, строим правило отображения пар переменных
(например, паре x1x2=01 соответствуют пара x3x4 = 01 и 10, и, наоборот, для пары x1x2 = 01 нет связей x3x4 = 00 и 11).
заполняем таблицу, вычисляя количество пар переменных, при котором система имеет решение:
| x1x2 | x3x4 | x5x6 | x7x8 | x9x10 |
00 | 1 | 2 | 4 | 8 | 16 |
01 | 1 | 4 | 12 | 32 | 80 |
10 | 1 | 4 | 12 | 32 | 80 |
11 | 1 | 2 | 4 | 8 | 16 |
таким образом, ответ: 16 +80 + 80 +16 = 192 решения.
1 Метод отображений предложен Ел.А. Мирончик и Ек.А. Мирончик (http://kpolyakov.spb.ru/download/b15mirn.zip).