Логические уравнения в пособиях

Опечатки. Уравнение 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