Формулы логического и арифметического контроля по форме N 1-Мониторинг

1.

1 <= раздел 1.1 стр. 01 <= 10

2.

(раздел 1.3 стр. 03 гр. 5 = 0) тогда и только тогда, когда (раздел 2.1 стр. 03 гр. 4 = 0)

3.

(раздел 1.3 стр. 04 гр. 5 = 0) тогда и только тогда, когда (раздел 2.1 стр. 04 гр. 4 = 0)

4.

(раздел 1.3 стр. 05 гр. 5 = 0) тогда и только тогда, когда (раздел 2.1 стр. 05 гр. 4 = 0)

5.

(раздел 1.3 стр. 06 гр. 5 = 0) тогда и только тогда, когда (раздел 2.1 стр. 06 гр. 4 = 0)

6.

(раздел 1.3 стр. 07 гр. 5 = 0) тогда и только тогда, когда (раздел 2.1 стр. 07 гр. 4 = 0)

7.

(раздел 1.3 стр. 08 гр. 5 = 0) тогда и только тогда, когда (раздел 2.1 стр. 08 гр. 4 = 0)

8.

(раздел 1.3 стр. 09 гр. 5 = 0) тогда и только тогда, когда (раздел 2.1 стр. 09 гр. 4 = 0)

9.

(раздел 1.3 стр. 10 гр. 5 = 0) тогда и только тогда, когда (раздел 2.1 стр. 10 гр. 4 = 0)

10.

(раздел 1.3 стр. 14 гр. 5 = 0) тогда и только тогда, когда (раздел 2.2 стр. 01 гр. 4 + 2.2 стр. 03 гр. 4 = 0)

11.

(раздел 1.3 стр. 15 гр. 5 = 0) тогда и только тогда, когда (раздел 2.2 стр. 02 гр. 4 = 0)

12.

(раздел 1.3 стр. 16 гр. 5 = 0) тогда и только тогда, когда (раздел 2.2 стр. 04 гр. 4 = 0)

13.

14.

15.

гр. 11 <= гр. 10

16.

раздел 2.1 стр. [01 .. 10]

гр. 6 = гр. 7 + гр. 8 + гр. 9

17.

раздел 2.1 стр. [03 .. 10]

гр. 5 <= гр. 4

18.

(гр. 6 = 0), если (гр. 4 = 0)

19.

20.

21.

(раздел 2.1 стр. 06 (гр. 10 - гр. 11) = 0) (раздел 2.4.2 стр. 02 (гр. 12 - гр. 16) + раздел 2.4.5 стр. 02 гр. 12 = 0)

22.

(раздел 2.1 стр. 07 (гр. 10 - гр. 11) = 0) (раздел 2.4.2 стр. 03 (гр. 12 - гр. 16) + раздел 2.4.5 стр. 03 гр. 12 = 0)

23.

(раздел 2.1 стр. 08 (гр. 10 - гр. 11) = 0) (раздел 2.5.1 стр. 01 (гр. 11 - гр. 13) = 0)

24.

(раздел 2.1 стр. 09 (гр. 10 - гр. 11) = 0) (раздел 2.5.1 стр. 02 (гр. 11 - гр. 13) = 0)

25.

(раздел 2.1 стр. 10 (гр. 10 - гр. 11) = 0) (раздел 2.5.1 стр. 03 (гр. 11 - гр. 13) = 0)

26.

(раздел 2.1 стр. 05 гр. 11 = 0) (раздел 2.4.2 стр. 01 гр. 16 = 0)

27.

(раздел 2.1 стр. 06 гр. 11 = 0) (раздел 2.4.2 стр. 02 гр. 16 = 0)

28.

(раздел 2.1 стр. 07 гр. 11 = 0) (раздел 2.4.2 стр. 03 гр. 16 = 0)

29.

(раздел 2.1 стр. 08 гр. 11 = 0) (раздел 2.5.1 стр. 01 гр. 13 = 0)

30.

(раздел 2.1 стр. 09 гр. 11 = 0) (раздел 2.5.1 стр. 02 гр. 13 = 0)

31.

32.

33.

гр. 7 <= гр. 6

34.

35.

36.

гр. 6 <= гр. 5

37.

гр. 8 <= гр. 7

38.

гр. 9 <= гр. 4

39.

гр. 11 <= гр. 10

40.

гр. 13 <= гр. 12

41.

гр. 15 <= гр. 4

42.

гр. 16 = гр. 17 + гр. 18 + гр. 19 + гр. 20

43.

стр. 11 <= стр. 10

44.

стр. 12 <= стр. 10

45.

стр. 15 + стр. 16 <= стр. 14

46.

стр. 17 <= стр. 01 гр. 4 + ... стр. 09 гр. 4

47.

стр. 18 <= стр. 01 гр. 4 + ... стр. 06 гр. 4

48.

стр. [19 .. 23] <= стр. 18

49.

стр. 18 <= стр. 19 + ... + стр. 23

50.

стр. 24 <= стр. 07 гр. 4 + ... стр. 09 гр. 4

51.

стр. [25 .. 29] <= стр. 24

52.

стр. 24 <= стр. 25 + ... + стр. 29

53.

стр. 18 + стр. 24 <= стр. 17

54.

раздел 2.3 стр. [01 .. 03]

гр. 4 <= раздел 2.1 стр. 05 гр. 4

55.

раздел 2.3 стр. [04 .. 06]

гр. 4 <= раздел 2.1 стр. 06 гр. 4

56.

раздел 2.3 стр. [07 .. 09]

гр. 4 <= раздел 2.1 стр. 07 гр. 4

57.

раздел 2.3 стр. 01 гр. [10 .. 14, 16] <= раздел 2.1 стр. 05 гр. 7

58.

раздел 2.3 стр. 02 гр. [10 .. 14, 16] <= раздел 2.1 стр. 05 гр. 8

59.

раздел 2.3 стр. 03 гр. [10 .. 14, 16] <= раздел 2.1 стр. 05 гр. 9

60.

раздел 2.3 стр. 04 гр. [10 .. 14, 16] <= раздел 2.1 стр. 06 гр. 7

61.

раздел 2.3 стр. 05 гр. [10 .. 14, 16] <= раздел 2.1 стр. 06 гр. 8

62.

раздел 2.3 стр. 06 гр. [10 .. 14, 16] <= раздел 2.1 стр. 06 гр. 9

63.

раздел 2.3 стр. 07 гр. [10 .. 14, 16] <= раздел 2.1 стр. 07 гр. 7

64.

раздел 2.3 стр. 08 гр. [10 .. 14, 16] <= раздел 2.1 стр. 07 гр. 8

65.

66.

67.

гр. 5 = гр. 6 + гр. 7 + гр. 8 + гр. 9

68.

гр. 10 <= гр. 6 + гр. 7 + гр. 8

69.

гр. 11 + гр. 13 <= гр. 5

70.

гр. 12 <= гр. 11

71.

гр. 14 <= гр. 13

72.

гр. 12 + гр. 14 <= гр. 6 + гр. 7 + гр. 8

73.

гр. 11 - гр. 12 + гр. 13 - гр. 14 <= гр. 9

74.

гр. 15 <= гр. 5

75.

гр. 16 <= гр. 5

76.

гр. 17 <= гр. 16

77.

гр. 17 <= гр. 9

78.

гр. 18 <= гр. 16

79.

гр. 19 <= гр. 17

80.

гр. 19 <= гр. 18

81.

гр. 16 - гр. 17 <= гр. 6 + гр. 7 + гр. 8

82.

гр. 18 - гр. 19 <= гр. 16 - гр. 17

83.

раздел 2.4.1 стр. [01, 02, 04, 05]

гр. 20 <= гр. 5

84.

гр. 21 + гр. 23 + гр. 25 <= гр. 20

85.

гр. 22 <= гр. 21

86.

гр. 24 <= гр. 23

87.

гр. 26 <= гр. 25

88.

гр. 27 <= гр. 25

89.

гр. 22 + гр. 24 <= гр. 9

90.

гр. 21 - гр. 22 + гр. 23 - гр. 24 <= гр. 6 + гр. 7 + гр. 8

91.

20 <= гр. [28 .. 38] <= 100

92.

(гр. 28 = 0) тогда и только тогда, когда (гр. 21 - гр. 22 = 0)

93.

(гр. 32 = 0) тогда и только тогда, когда (гр. 21 - гр. 22 = 0)

94.

(гр. 29 = 0) тогда и только тогда, когда (гр. 23 - гр. 24 = 0)

95.

(гр. 33 = 0) тогда и только тогда, когда (гр. 23 - гр. 24 = 0)

96.

(гр. 37 = 0) тогда и только тогда, когда (гр. 23 - гр. 24 = 0)

97.

(гр. 30 = 0) тогда и только тогда, когда (гр. 22 = 0)

98.

(гр. 34 = 0) тогда и только тогда, когда (гр. 22 = 0)

99.

(гр. 31 = 0) тогда и только тогда, когда (гр. 24 = 0)

100.

(гр. 35 = 0) тогда и только тогда, когда (гр. 24 = 0)

101.

(гр. 38 = 0) тогда и только тогда, когда (гр. 24 = 0)

102.

(гр. 36 = 0), если (гр. 10 = 0)

103.

104.

105.

гр. 5 = гр. 6 + гр. 7 + гр. 8 + гр. 9

106.

раздел 2.4.1.1 гр. [4 .. 9]

стр. 01 + стр. 02 + стр. 03 = стр. 04

107.

раздел 2.4.1.1 стр. 01 гр. [4 .. 9] <= раздел 2.4.1 [стр. 01 + стр. 04] гр. [4 .. 9]

108.

раздел 2.4.1.1 стр. 02 гр. [4 .. 9] <= раздел 2.4.1 [стр. 02 + стр. 05] гр. [4 .. 9]

109.

110.

111.

раздел 2.4.2 стр. [01 .. 04]

гр. 12 = гр. 13 + гр. 14 + гр. 15 + гр. 16

112.

гр. 17 <= гр. 12

113.

гр. 18 <= гр. 12

114.

гр. 19 <= гр. 12

115.

гр. 20 <= гр. 12

116.

гр. 21 <= гр. 20

117.

гр. 21 <= гр. 16

118.

гр. 22 <= гр. 20

119.

гр. 23 <= гр. 22

120.

гр. 23 <= гр. 21

121.

гр. 24 <= гр. 12

122.

гр. 20 - гр. 21 <= гр. 13 + гр. 14 + гр. 15

123.

гр. 22 - гр. 23 <= гр. 20 - гр. 21

124.

раздел 2.4.2 гр. [5 .. 12]

стр. 05 <= стр. 01

125.

стр. 06 <= стр. 02

126.

стр. 07 <= стр. 03

127.

раздел 2.4.2 гр. [5 .. 23]

стр. 01 + стр. 02 + стр. 03 = стр. 04

128.

129.

130.

гр. 12 = гр. 18 + гр. 19 + гр. 20 + гр. 21 + гр. 22

131.

раздел 2.4.2.1 стр. [01 .. 04]

гр. 12 = гр. 13 + гр. 14 + гр. 15 + гр. 16

132.

гр. 17 <= гр. 12

133.

раздел 2.4.2.1 гр. [5 .. 22]

стр. 01 + стр. 02 + стр. 03 = стр. 04

134.

раздел 2.4.2.1 гр. [5 .. 12, 18 .. 22]

стр. 05 <= стр. 01

135.

стр. 06 <= стр. 02

136.

стр. 07 <= стр. 03

137.

стр. 08 <= стр. 01

138.

стр. 09 <= стр. 02

139.

стр. 10 <= стр. 03

140.

(раздел 2.4.2.1 стр. 08 гр. 12 + раздел 2.4.2.1 стр. 09 гр. 12 = 0) тогда и только тогда, когда (раздел 2.3 стр. 18 = 0)

141.

(раздел 2.4.2.1 стр. 08 гр. 18 + раздел 2.4.2.1 стр. 09 гр. 18 = 0) тогда и только тогда, когда (раздел 2.3 стр. 19 = 0)

142.

(раздел 2.4.2.1 стр. 08 гр. 19 + раздел 2.4.2.1 стр. 09 гр. 19 = 0) тогда и только тогда, когда (раздел 2.3 стр. 20 = 0)

143.

(раздел 2.4.2.1 стр. 08 гр. 20 + раздел 2.4.2.1 стр. 09 гр. 20 = 0) тогда и только тогда, когда (раздел 2.3 стр. 21 = 0)

144.

(раздел 2.4.2.1 стр. 08 гр. 21 + раздел 2.4.2.1 стр. 09 гр. 21 = 0) тогда и только тогда, когда (раздел 2.3 стр. 22 = 0)

145.

(раздел 2.4.2.1 стр. 08 гр. 22 + раздел 2.4.2.1 стр. 09 гр. 22 = 0) тогда и только тогда, когда (раздел 2.3 стр. 23 = 0)

146.

(раздел 2.4.2.1 стр. 10 гр. 12 = 0) тогда и только тогда, когда (раздел 2.3 стр. 24 = 0)

147.

(раздел 2.4.2.1 стр. 10 гр. 18 = 0) тогда и только тогда, когда (раздел 2.3 стр. 25 = 0)

148.

(раздел 2.4.2.1 стр. 10 гр. 19 = 0) тогда и только тогда, когда (раздел 2.3 стр. 26 = 0)

149.

(раздел 2.4.2.1 стр. 10 гр. 20 = 0) тогда и только тогда, когда (раздел 2.3 стр. 27 = 0)

150.

(раздел 2.4.2.1 стр. 10 гр. 21 = 0) тогда и только тогда, когда (раздел 2.3 стр. 28 = 0)

151.

(раздел 2.4.2.1 стр. 10 гр. 22 = 0) тогда и только тогда, когда (раздел 2.3 стр. 29 = 0)

152.

153.

154.

гр. 10 <= гр. 5

155.

гр. 11 <= гр. 5

156.

гр. 12 <= гр. 11

157.

гр. 12 <= гр. 9

158.

гр. 13 <= гр. 11

159.

гр. 14 <= гр. 13

160.

гр. 14 <= гр. 12

161.

гр. 15 <= гр. 5

162.

гр. 11 - гр. 12 <= гр. 6 + гр. 7 + гр. 8

163.

гр. 13 - гр. 14 <= гр. 11 - гр. 12

164.

165.

166.

гр. 10 <= гр. 5

167.

раздел 2.4.3.1 гр. [5 .. 10]

стр. 01 + стр. 02 + стр. 03 = стр. 04

168.

169.

170.

171.

172.

раздел 2.4.5 стр. [01 .. 04]

гр. 13 <= гр. 12

173.

гр. 14 <= гр. 12

174.

раздел 2.4.5 гр. [5 .. 14]

стр. 01 + стр. 02 + стр. 03 = стр. 04

175.

раздел 2.4.5 гр. [5 .. 12]

стр. 05 <= стр. 01

176.

стр. 06 <= стр. 02

177.

178.

179.

гр. 7 <= гр. 5

180.

раздел 2.4.6 гр. [5 .. 7]

стр. 01 + стр. 02 + стр. 03 = стр. 04

181.

раздел 2.4.2 стр. 01 гр. 12_очное + раздел 2.4.5 стр. 01 гр. 12_очное = раздел 2.1 стр. 05 гр. 7

182.

раздел 2.4.2 стр. 01 гр. 12_{вечернее} + раздел 2.4.5 стр. 01 гр. 12_{вечернее} = раздел 2.1 стр. 05 гр. 8

183.

раздел 2.4.2 стр. 01 гр. 12_{заочное} + раздел 2.4.5 стр. 01 гр. 12_{заочное} = раздел 2.1 стр. 05 гр. 9

184.

раздел 2.4.2 стр. 02 гр. 12_очное + раздел 2.4.5 стр. 02 гр. 12_очное = раздел 2.1 стр. 06 гр. 7

185.

раздел 2.4.2 стр. 02 гр. 12_{вечернее} + раздел 2.4.5 стр. 02 гр. 12_{вечернее} = раздел 2.1 стр. 06 гр. 8

186.

раздел 2.4.2 стр. 02 гр. 12_{заочное} + раздел 2.4.5 стр. 02 гр. 12_{заочное} = раздел 2.1 стр. 06 гр. 9

187.

раздел 2.4.2 стр. 03 гр. 12_очное + раздел 2.4.5 стр. 03 гр. 12_очное = раздел 2.1 стр. 07 гр. 7

188.

раздел 2.4.2 стр. 03 гр. 12_{вечернее} + раздел 2.4.5 стр. 03 гр. 12_{вечернее} = раздел 2.1 стр. 07 гр. 8

189.

190.

191.

гр. 9 = гр. 10 + гр. 11 + гр. 12 + гр. 13

192.

гр. 14 = гр. 15 + гр. 16 + гр. 17 + гр. 18

193.

раздел 2.4.7 гр. [4 .. 18]

стр. 01 = стр. 02 + стр. 03 + стр. 04

194.

стр. 05 = стр. 06 + стр. 07

195.

раздел 2.4.7 стр. 01 гр. [4 .. 8] = раздел 2.4.1 стр. 07 гр. [5 .. 9]

196.

раздел 2.4.7 стр. 01 гр. [9 .. 13] = раздел 2.4.2 стр. 04 гр. [12 .. 16]

197.

раздел 2.4.7 стр. 01 гр. [14 .. 18] = раздел 2.4.3 стр. 04 гр. [5 .. 9]

198.

раздел 2.4.7 стр. 05 гр. 4 = раздел 2.4.4 стр. 04 гр. 4

199.

раздел 2.4.7 стр. 05 гр. 9 = раздел 2.4.5 стр. 04 гр. 12

200.

раздел 2.4.7 стр. 05 гр. 14 = раздел 2.4.6 стр. 04 гр. 5

201.

раздел 2.4.7 стр. 03 гр. 4 + раздел 2.4.7 стр. 04 гр. 4 = раздел 2.4.1 стр. 07 гр. 16

202.

раздел 2.4.7 стр. 03 гр. 8 + раздел 2.4.7 стр. 04 гр. 8 = раздел 2.4.1 стр. 07 гр. 17

203.

раздел 2.4.7 стр. 03 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 4 = раздел 2.4.1 стр. 07 гр. 18

204.

раздел 2.4.7 стр. 03 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 8 = раздел 2.4.1 стр. 07 гр. 19

205.

раздел 2.4.7 стр. 03 гр. 9 + раздел 2.4.7 стр. 04 гр. 9 = раздел 2.4.2 стр. 04 гр. 20

206.

раздел 2.4.7 стр. 03 гр. 13 + раздел 2.4.7 стр. 04 гр. 13 = раздел 2.4.2 стр. 04 гр. 21

207.

раздел 2.4.7 стр. 03 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 9 = раздел 2.4.2 стр. 04 гр. 22

208.

раздел 2.4.7 стр. 03 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 13 = раздел 2.4.2 стр. 04 гр. 23

209.

раздел 2.4.7 стр. 03 гр. 14 + раздел 2.4.7 стр. 04 гр. 14 = раздел 2.4.3 стр. 04 гр. 11

210.

раздел 2.4.7 стр. 03 гр. 18 + раздел 2.4.7 стр. 04 гр. 18 = раздел 2.4.3 стр. 04 гр. 12

211.

раздел 2.4.7 стр. 03 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 14 = раздел 2.4.3 стр. 04 гр. 13

212.

раздел 2.4.7 стр. 03 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 18 = раздел 2.4.3 стр. 04 гр. 14

213.

раздел 2.4.7 стр. 06 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 4 = раздел 2.4.4 стр. 04 гр. 5

214.

раздел 2.4.7 стр. 06 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 9 = раздел 2.4.5 стр. 04 гр. 13

215.

216.

217.

218.

219.

гр. 7 <= гр. 6

220.

гр. 8 <= гр. 6

221.

раздел 2.4.9 стр. 01 гр. 3 <= раздел 2.1 стр. 07 гр. 4

222.

раздел 2.4.9 стр. 02 гр. 3 <= раздел 2.1 стр. 06 гр. 4

223.

раздел 2.4.9 стр. 03 гр. 3 <= раздел 2.1 стр. 05 гр. 4

224.

раздел 2.4.9 стр. 01 гр. 6 <= раздел 2.1 стр. 07 гр. 7

225.

раздел 2.4.9 стр. 02 гр. 6 <= раздел 2.1 стр. 06 гр. 7

226.

227.

228.

гр. 7 <= гр. 6

229.

гр. 8 <= гр. 6

230.

гр. 10 <= гр. 9

231.

гр. 15 <= гр. 14

232.

гр. 17 <= гр. 5

233.

234.

235.

гр. 6 <= гр. 4

236.

гр. 7 <= гр. 4

237.

гр. 8 <= гр. 7

238.

гр. 9 <= гр. 7

239.

гр. 10 <= гр. 9

240.

гр. 10 <= гр. 8

241.

гр. 12 + гр. 13 <= гр. 11

242.

гр. 14 <= гр. 11

243.

гр. 15 <= гр. 14

244.

гр. 15 <= гр. 13

245.

гр. 16 <= гр. 14

246.

гр. 17 <= гр. 16

247.

гр. 17 <= гр. 15

248.

гр. 14 - гр. 15 <= гр. 11 - гр. 13

249.

гр. 16 - гр. 17 <= гр. 14 - гр. 15

250.

гр. 18 <= гр. 11

251.

гр. 19 <= гр. 11

252.

гр. 21 <= гр. 20

253.

гр. 22 <= гр. 20

254.

гр. 23 <= гр. 22

255.

гр. 23 <= гр. 21

256.

гр. 24 <= гр. 21

257.

гр. 25 <= гр. 20

258.

гр. 26 <= гр. 25

259.

гр. 26 <= гр. 22

260.

гр. 27 <= гр. 25

261.

гр. 28 <= гр. 27

262.

гр. 28 <= гр. 26

263.

гр. 25 - гр. 26 <= гр. 20 - гр. 22

264.

гр. 27 - гр. 28 <= гр. 25 - гр. 26

265.

гр. 30 <= гр. 29

266.

гр. 32 <= гр. 31

267.

раздел 2.5.1 стр. 01 гр. 11_очное

= раздел 2.1 стр. 08 гр. 7

268.

раздел 2.5.1 стр. 01 гр. 11_{вечернее}

= раздел 2.1 стр. 08 гр. 8

269.

раздел 2.5.1 стр. 01 гр. 11_{заочное}

= раздел 2.1 стр. 08 гр. 9

270.

раздел 2.5.1 стр. 02 гр. 11_очное

= раздел 2.1 стр. 09 гр. 7

271.

раздел 2.5.1 стр. 02 гр. 11_{вечернее}

= раздел 2.1 стр. 09 гр. 8

272.

раздел 2.5.1 стр. 02 гр. 11_{заочное}

= раздел 2.1 стр. 09 гр. 9

273.

раздел 2.5.1 стр. 03 гр. 11_очное

= раздел 2.1 стр. 10 гр. 7

274.

раздел 2.5.1 стр. 03 гр. 11_{вечернее}

= раздел 2.1 стр. 10 гр. 8

275.

276.

277.

гр. 9 = гр. 10 + гр. 11 + гр. 12 + гр. 13

278.

гр. 14 = гр. 15 + гр. 16 + гр. 17 + гр. 18

279.

раздел 2.5.2 гр. [4 .. 18]

стр. 01 = стр. 02 + стр. 03 + стр. 04

280.

стр. 05 = стр. 06 + стр. 07

281.

раздел 2.5.2 стр. 01 гр. 4 + раздел 2.5.2 стр. 05 гр. 4 = раздел 2.5.1 стр. 01 гр. 4 + раздел 2.5.1 стр. 02 гр. 4 + раздел 2.5.1 стр. 03 гр. 4

282.

раздел 2.5.2 стр. 01 гр. 9 + раздел 2.5.2 стр. 05 гр. 9 = раздел 2.5.1 стр. 01 гр. 11 + раздел 2.5.1 стр. 02 гр. 11 + раздел 2.5.1 стр. 03 гр. 11

283.

раздел 2.5.2 стр. 01 гр. 10 + раздел 2.5.2 стр. 05 гр. 10 = раздел 2.5.1 стр. 01 гр. 12 + раздел 2.5.1 стр. 02 гр. 12 + раздел 2.5.1 стр. 03 гр. 12

284.

раздел 2.5.2 стр. 01 гр. 13 + раздел 2.5.2 стр. 05 гр. 13 = раздел 2.5.1 стр. 01 гр. 13 + раздел 2.5.1 стр. 02 гр. 13 + раздел 2.5.1 стр. 03 гр. 13

285.

раздел 2.5.2 стр. 01 гр. 14 + раздел 2.5.2 стр. 05 гр. 14 = раздел 2.5.1 стр. 01 гр. 20 + раздел 2.5.1 стр. 02 гр. 20 + раздел 2.5.1 стр. 03 гр. 20

286.

раздел 2.5.2 стр. 01 гр. 18 + раздел 2.5.2 стр. 05 гр. 18 = раздел 2.5.1 стр. 01 гр. 22 + раздел 2.5.1 стр. 02 гр. 22 + раздел 2.5.1 стр. 03 гр. 22

287.

раздел 2.5.2 стр. 03 гр. 4 + раздел 2.5.2 стр. 04 гр. 4 + раздел 2.5.2 стр. 06 гр. 4 + раздел 2.5.2 стр. 07 гр. 4 = раздел 2.5.1 стр. 01 гр. 7 + раздел 2.5.1 стр. 02 гр. 7 + раздел 2.5.1 стр. 03 гр. 7

288.

раздел 2.5.2 стр. 03 гр. 8 + раздел 2.5.2 стр. 04 гр. 8 = раздел 2.5.1 стр. 01 гр. 8 + раздел 2.5.1 стр. 02 гр. 8 + раздел 2.5.1 стр. 03 гр. 8

289.

раздел 2.5.2 стр. 03 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 4 + раздел 2.5.2 стр. 06 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 4 = раздел 2.5.1 стр. 01 гр. 9 + раздел 2.5.1 стр. 02 гр. 9 + раздел 2.5.1 стр. 03 гр. 9

290.

раздел 2.5.2 стр. 03 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 8 = раздел 2.5.1 стр. 01 гр. 10 + раздел 2.5.1 стр. 02 гр. 10 + раздел 2.5.1 стр. 03 гр. 10

291.

раздел 2.5.2 стр. 03 гр. 9 + раздел 2.5.2 стр. 04 гр. 9 + раздел 2.5.2 стр. 06 гр. 9 + раздел 2.5.2 стр. 07 гр. 9 = раздел 2.5.1 стр. 01 гр. 14 + раздел 2.5.1 стр. 02 гр. 14 + раздел 2.5.1 стр. 03 гр. 14

292.

раздел 2.5.2 стр. 03 гр. 13 + раздел 2.5.2 стр. 04 гр. 13 = раздел 2.5.1 стр. 01 гр. 15 + раздел 2.5.1 стр. 02 гр. 15 + раздел 2.5.1 стр. 03 гр. 15

293.

раздел 2.5.2 стр. 03 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 9 + раздел 2.5.2 стр. 06 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 9 = раздел 2.5.1 стр. 01 гр. 16 + раздел 2.5.1 стр. 02 гр. 16 + раздел 2.5.1 стр. 03 гр. 16

294.

раздел 2.5.2 стр. 03 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 13 = раздел 2.5.1 стр. 01 гр. 17 + раздел 2.5.1 стр. 02 гр. 17 + раздел 2.5.1 стр. 03 гр. 17

295.

раздел 2.5.2 стр. 03 гр. 14 + раздел 2.5.2 стр. 04 гр. 14 + раздел 2.5.2 стр. 06 гр. 14 + раздел 2.5.2 стр. 07 гр. 14 = раздел 2.5.1 стр. 01 гр. 25 + раздел 2.5.1 стр. 02 гр. 25 + раздел 2.5.1 стр. 03 гр. 25

296.

раздел 2.5.2 стр. 03 гр. 18 + раздел 2.5.2 стр. 04 гр. 18 = раздел 2.5.1 стр. 01 гр. 26 + раздел 2.5.1 стр. 02 гр. 26 + раздел 2.5.1 стр. 03 гр. 26

297.

раздел 2.5.2 стр. 03 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 14 + раздел 2.5.2 стр. 06 _{[гр. 3 (031,051,112,398,417,498,762,795,804,860)]} гр. 14 = раздел 2.5.1 стр. 01 гр. 27 + раздел 2.5.1 стр. 02 гр. 27 + раздел 2.5.1 стр. 03 гр. 27

298.

299.

300.

301.

302.

гр. 8 <= гр. 6

303.

гр. 10 <= гр. 9

304.

гр. 11 <= гр. 9

305.

гр. 12 <= гр. 11

306.

гр. 12 <= гр. 10

307.

раздел 2.5.4 гр. [6 .. 15]

стр. 03 + стр. 04 <= стр. 01

308.

раздел 2.5.4 стр. 01 гр. 6 = раздел 2.1 стр. 11 гр. 6

309.

стр. 03 (гр. 6 - гр. 7) + стр. 04 (гр. 6 - гр. 7) <= стр. 01 (гр. 6 - гр. 7)

310.

стр. 03 (гр. 9 - гр. 10) + стр. 04 (гр. 9 - гр. 10) <= стр. 01 (гр. 9 - гр. 10)

311.

312.

313.

гр. 5 <= гр. 3

314.

раздел 2.6 гр. [3 .. 5]

стр. 01 = стр. 02 + стр. 05

315.

стр. 02 = стр. 03 + стр. 04

316.

стр. 05 = стр. 06 + стр. 07

317.

стр. 08 <= стр. 05

318.

раздел 2.6 стр. 02 гр. 3 = раздел 2.2 стр. 04 гр. 6

319.

раздел 2.6 стр. 05 гр. 3 = раздел 2.2 стр. 05 гр. 6

320.

раздел 2.6 стр. 09 <= (стр. 03 гр. 3 x 72 + стр. 04 гр. 3 x 1440 + стр. 06 гр. 3 x 500 + стр. 07 гр. 3 x 1440) / 1440

321.

стр. 08 (гр. 3 - гр. 4) <= стр. 05 (гр. 3 - гр. 4)

322.

323.

324.

325.

326.

раздел 3.2.1 гр. [3 .. 4]

стр. 01 = стр. 02 + стр. 07 + стр. 08 + стр. 09

327.

стр. 02 = стр. 03 + стр. 04 + стр. 05 + стр. 06

328.

(раздел 3.2.1 стр. 10 = 0) (раздел 3.2.1 стр. 02 гр. 3 = 0)

329.

(раздел 3.2.1 стр. 11 = 0) тогда и только тогда, когда (раздел 3.2.1 стр. 10 = 0)

330.

раздел 3.2.1 стр. 02 гр. 3 <= раздел 6.1 стр. 01 гр. 10

331.

раздел 3.2.1 стр. 07 гр. 3 <= раздел 6.1 стр. 01 гр. 11

332.

333.

334.

раздел 3.2.3 гр. [3 .. 12]

стр. 01 = стр. 02 + стр. 03 + стр. 04 + стр. 05

335.

стр. 01 = стр. 06 + стр. 07 + стр. 10 + ... + стр. 17

336.

337.

338.

раздел 3.2.4 гр. [3 .. 13]

стр. 02 <= стр. 01

339.

стр. 03 <= стр. 01

340.

стр. 04 <= стр. 01

341.

стр. 05 <= стр. 01

342.

стр. 06 <= стр. 01

343.

стр. 07 <= стр. 01

344.

раздел 3.2.4 гр. 3

стр. 09 <= стр. 08

345.

стр. 17 <= стр. 16

346.

стр. 26 <= стр. 25

347.

стр. 27 <= стр. 25

348.

стр. 11 = стр. 12 + стр. 13 + стр. 14 + стр. 15

349.

351.

352.

гр. 5 + гр. 6 <= гр. 4

353.

гр. 7 <= гр. 4

354.

гр. 8 + гр. 9 <= гр. 4

355.

гр. 3 = гр. 11 + ... + гр. 22

356.

гр. 23 <= гр. 3

357.

(гр. 3 = 0) (гр. 24 = 0)

358.

раздел 4.1.1 стр. [01 .. 20]

(гр. 10 = 0) тогда и только тогда, когда (гр. 3 = 0)

359.

раздел 4.1.1 гр. [3 .. 24]

стр. 01 = стр. 02 + стр. 03 + стр. 15 + стр. 16 + стр. 17 + стр. 18 + стр. 19 + стр. 20

360.

стр. 03 = стр. 04 + стр. 14

361.

стр. 05 <= стр. 04

362.

стр. 05 = стр. 06 + стр. 07 + стр. 08 + стр. 09 + стр. 10 + стр. 11 + стр. 12 + стр. 13

363.

стр. 21 <= стр. 04

364.

стр. 22 <= стр. 04

365.

стр. 23 <= стр. 04

366.

стр. 24 <= стр. 04

367.

стр. 25 <= стр. 01

368.

стр. 26 <= стр. 04 гр. 3

369.

стр. 27 <= стр. 04 гр. 3

370.

стр. 05 (гр. 3 - гр. 4) <= стр. 04 (гр. 3 - гр. 4)

371.

стр. 05 (гр. 4 - (гр. 5 + гр. 6)) <= стр. 04 (гр. 4 - (гр. 5 + гр. 6))

372.

стр. 05 (гр. 4 - гр. 7) <= стр. 04 (гр. 4 - гр. 7)

373.

стр. 05 (гр. 4 - (гр. 8 + гр. 9)) <= стр. 04 (гр. 4 - (гр. 8 + гр. 9))

374.

375.

376.

гр. 5 + гр. 6 <= гр. 4

377.

гр. 7 <= гр. 4

378.

гр. 8 + гр. 9 <= гр. 4

379.

гр. 3 = гр. 11 + ... + гр. 22

380.

гр. 23 <= гр. 3