упростить исходные логические функции: 1) (XY∨YZ)→¬XZ∨X(¬X→Y);
2) ((X∨Y)(Y→Z))→¬XY∨Z(¬X∨¬Y);
3) (¬X→¬Y(X∨Z))→Y(¬X∨¬Z);
4) (¬Y∨¬Z)→(¬X∨¬Z)→XY;
5) ((XYZ∨¬X¬Z)¬Y)⇒(XZ⇒¬Y¬Z);
6) (¬X∨¬Y)Z⇒(¬Y(X∨¬Z)⇒XY);
7) (¬X(¬Y→¬Z)∨X¬ZY)→ZY;
8) ((XY∨YZ)→¬XZ)→(¬Z∨¬X¬Y¬Z);
9) XY⇒((¬XYZ∨X¬Y¬Z)⇒¬X¬Y¬Z);
10) XY∨(¬X¬Y→(YZ→¬X¬Y))

AnonimusuminonA    3   08.09.2020 07:58    9