Правила: ¬(¬A)=A A→B=¬A∨B ¬(A∧B)=¬A∨¬B Преобразуем: ((J→K)→(M/\N/\L))/\((J/\¬K)→¬(M/\N/\L))/\(M→J)=1 ((¬J∨K)→(M∧N∧L))∧((¬J∨K)∨¬M∨¬N∨¬L)∧(¬M∨J)=1 (J∧¬K∨M∧N∧L)∧(¬J∨K∨¬M∨¬N∨¬L)∧(¬M∨J)=1 Начнем с J: Если J=0, то M обязательно должно быть 0(из-за последней скобки), НО тогда в первой не получится 1, значит, J=1. рассмотрим вариант с J=1. К равен 1 или 0. Если К=1, то в первой скобке получится единица только тогда, когда M,N,L будут равны единице. Это первый набор. Если К=0, то М равен 0 или 1. Если М равен 1, то N 1 или 0. Если N=1, то L=0, из-за второй скобки. Это второй набор. Если N=0, то L 1 или 0. Это 3 и 4 наборы. Если М равен 0, то N 1 или 0. Если N=1, то L 1 или 0. Это 5 и 6 наборы. Если N=0, то L 1 или 0. Это 7 и 8 наборы. ответ: 8
¬(¬A)=A
A→B=¬A∨B
¬(A∧B)=¬A∨¬B
Преобразуем:
((J→K)→(M/\N/\L))/\((J/\¬K)→¬(M/\N/\L))/\(M→J)=1
((¬J∨K)→(M∧N∧L))∧((¬J∨K)∨¬M∨¬N∨¬L)∧(¬M∨J)=1
(J∧¬K∨M∧N∧L)∧(¬J∨K∨¬M∨¬N∨¬L)∧(¬M∨J)=1
Начнем с J:
Если J=0, то M обязательно должно быть 0(из-за последней скобки), НО тогда в первой не получится 1, значит, J=1.
рассмотрим вариант с J=1.
К равен 1 или 0. Если К=1, то в первой скобке получится единица только тогда, когда M,N,L будут равны единице. Это первый набор.
Если К=0, то М равен 0 или 1. Если М равен 1, то N 1 или 0. Если N=1, то L=0, из-за второй скобки. Это второй набор.
Если N=0, то L 1 или 0. Это 3 и 4 наборы.
Если М равен 0, то N 1 или 0. Если N=1, то L 1 или 0. Это 5 и 6 наборы.
Если N=0, то L 1 или 0. Это 7 и 8 наборы.
ответ: 8