Заметим, что поскольку исходное уравнение представляет собой объединение двух логических выражений, то оно равносильно совокупности (объединению) уравнений, состоящих из этих выражений:
 KÙLÙM=1
| (17)
|
| LÙMÙN=1
| (18)
|
При этом уравнение (17) представляет собой пересечение трех логических выражений, и потому оно принимает значение, равное 1, тогда и только тогда, когда каждое из них истинно, т.е. К=L=M=1. На выражение N условий не накладывается, поэтому возможны два варианта решений: 1) К=L=M=1, N=1; 2) К=L=M=1, N=0.
Уравнение (18) также представляет собой пересечение трех логических выражений, и потому оно принимает значение, равное 1, тогда и только тогда, когда L=M=N=1. Откуда: L=M=0, N=1. На выражение K условий не накладывается, поэтому у уравнения (18) – также два решения: 1) К=M=0, N=1, K=1; 2)К=M=0, N=1,k=0.
Таким образом, уравнение (17) имеет 2 решения и уравнение (18) имеет два решения. Поскольку исходное уравнение представляет собой объединение этих двух уравнений, то количество его решений равно сумме решений уравнений (17) и (18), т.е. равно 4.
Ответ: 4.
Задание 9. (Задание В2 демоверсии 2004 г.)
Укажите значения переменных K, L, M, N, при которых логическое выражение
(KÚ M) → (LÚ MÚ N)
ложно. Ответ запишите в виде строки из четырех символов: значений переменных K, L, M и N (в указанном порядке). Так, например, строка 1101 соответствует тому, что K=1, L=1, M=0, N=1.
