Опечатки. Уравнение L -> (M v N v L) = 0 не имеет решений
L -> (M v N v L) = -L v M v N v L = 1 v M v N = 1
Демо-2010, B4
J & -K & L & -M ^ 1 = 0
Значение N не влияет на истинность.
J & -K & L & -M = 0
Конъюнкция равна 1 в случаях 0101*
то есть 01010 и 01011
В остальных случаях эта конъюнкция равна 0
А всего случаев 32.
Ответ: 30
Другой вариант рассуждения
(1) -K v M = 1
(2) -L v M v N = 0
I: рассм. -K V M = 0.
это верно для 1*0* (4 комбинации)
то есть эти комбинации НЕ подходят для I
II: это верно для *100 (2 комбинации)
из этих двух комбинация 1100 не подходит для I
остается 0100
Вот таблица истинности к этой задаче:
А вот другой вариант рассуждения:
Решим обратную задачу:
K ^ L ^ M) v (-L ^ -M ^ N) = 0
(1) K ^ L ^ M = 0
(2) -L ^ -M ^ N = 0
решениями первого являются все кроме 111*
решениями второго являются все кроме *001
неподходящие комбинации не пересекаются
поэтому для системы подходят все кроме этих 4-х
Эти 4 комбинации являются решениями исходной задачи.
Ответ: 4