Используем формулы
A → B = ¬A ∨ B и ¬(А ∨ В) = ¬А ∧ ¬В
Рассмотрим первую подформулу:
(J → K) → (M ∧ N ∧ L) = ¬(¬J ∨ K) ∨ (М ∧ N ∧ L) = (J ∧ ¬K) ∨ (M ∧ N ∧ L)
Рассмотрим вторую подформулу
(J ∧ ¬K) → ¬(M ∧ N ∧ L) = ¬(J ∧ ¬K) ∨ ¬(M ∧ N ∧ L) = (¬J ∨ K) ∨ ¬M ∨ ¬N ∨ ¬L
Рассмотрим третью подформулу
1) M → J = 1 следовательно,
а) M = 1 J = 1 (J ∧ ¬K) ∨ (M ∧ N ∧ L) = (1 ∧ ¬K) ∨ (1 ∧ N ∧ L) = ¬K ∨ N ∧ L;
(0 ∨ K) ∨ 0 ∨ ¬N ∨ ¬L = K ∨ ¬N ∨ ¬L;
Объединим:
¬K ∨ N ∧ L ∧ K ∨ ¬N ∨ ¬L = 0 ∨ L ∨ 0 ∨ ¬L = L ∨ ¬L = 1
следовательно, 4 решения.
б)
M = 0 J = 1(J ∧ ¬K) ∨ (M ∧ N ∧ L) = (1 ∧ ¬K) ∨ (0 ∧ N ∧ L) = ¬K;
(¬J ∨ K) ∨ ¬M ∨ ¬N ∨ ¬L = (0 ∨ K) ∨ 1 ∨ ¬N ∨ ¬L = K ∨ 1 ∨ ¬N ∨ ¬L
Объединим:
K ∨ 1 ∨ ¬N ∨ ¬L ∧ ¬K = 1 ∨ ¬N ∨ ¬L
следовательно, 4 решения.
в) M = 0 J = 0. (J ∧ ¬K) ∨ (M ∧ N ∧ L) = (0 ∧ ¬K) ∨ (0 ∧ N ∧ L) = 0.
(¬J ∨ K) ∨ ¬M ∨ ¬N ∨ ¬L = (1 ∨ K) ∨ 1 ∨ ¬N ∨ ¬L.
<span>Ответ: 4 + 4 = 8.</span>
Ответ:
Объяснение:
Меняем К на О и наоборот и т.д., буквы которых нет в ключе не меняем
Ф.К.Л.М.Ш.Я.З.Л.К.В.Ш.Б.З.Е
Ф.О.Р.М.А. Т.И.Р.О.В.А.Н.И.Е
1)
(X+Z+Y)(X+!Y+Z)(X+!Y+!Z) -> X(X+!Y+Z)(X+!Y+!Z)+Z(X+!Y+Z)(X+!Y+!Z)+Y(X+!Y+Z)(X+!Y+!Z)
X(X+!Y+Z)(X+!Y+!Z) -> XX(X+!Y+!Z)+!YX(X+!Y+!Z)+ZX(X+!Y+!Z)
XX(X+!Y+!Z) -> XX+!YX+!ZX
XX -> X
XX+!YX+!ZX -> X
!YX(X+!Y+!Z) -> X!YX+!Y!YX+!Z!YX
X!YX -> X!Y
!Y!YX -> !YX
X!YX+!Y!YX+!Z!YX -> X!Y
ZX(X+!Y+!Z) -> XZX+!YZX+!ZZX
XZX -> XZ
!ZZX -> 0
XZX+!YZX+!ZZX -> XZ
XX(X+!Y+!Z)+!YX(X+!Y+!Z)+ZX(X+!Y+!Z) -> X
Z(X+!Y+Z)(X+!Y+!Z) -> XZ(X+!Y+!Z)+!YZ(X+!Y+!Z)+ZZ(X+!Y+!Z)
XZ(X+!Y+!Z) -> XXZ+!YXZ+!ZXZ
XXZ -> XZ
!ZXZ -> 0
XXZ+!YXZ+!ZXZ -> XZ
!YZ(X+!Y+!Z) -> X!YZ+!Y!YZ+!Z!YZ
!Y!YZ -> !YZ
!Z!YZ -> 0
X!YZ+!Y!YZ+!Z!YZ -> !YZ
ZZ(X+!Y+!Z) -> XZ+!YZ+!ZZ
!ZZ -> 0
XZ+!YZ+!ZZ -> XZ+!YZ
XZ(X+!Y+!Z)+!YZ(X+!Y+!Z)+ZZ(X+!Y+!Z) -> XZ+!YZ
Y(X+!Y+Z)(X+!Y+!Z) -> XY(X+!Y+!Z)+!YY(X+!Y+!Z)+ZY(X+!Y+!Z)
XY(X+!Y+!Z) -> XXY+!YXY+!ZXY
XXY -> XY
!YXY -> 0
XXY+!YXY+!ZXY -> XY
!YY(X+!Y+!Z) -> 0
ZY(X+!Y+!Z) -> XZY+!YZY+!ZZY
!YZY -> 0
!ZZY -> 0
XZY+!YZY+!ZZY -> XZY
XY(X+!Y+!Z)+!YY(X+!Y+!Z)+ZY(X+!Y+!Z) -> XY
X(X+!Y+Z)(X+!Y+!Z)+Z(X+!Y+Z)(X+!Y+!Z)+Y(X+!Y+Z)(X+!Y+!Z) -> X+!YZ
2)
(A+!B)+A+FE+B -> 1
3)
!(X+T) -> !X!T
TYZ(!(X+T)) -> 0
X+TYZ(!(X+T)) -> X
Begin
for var i=1 to n do
Writeln(i);
end.