Программу надо сформатировать и тогда её структура будет видна лучше. А чтобы понять, как идет выполнение, в нужных точках ставим промежуточную выдачу - это называется "трассировкой".
var s, k: integer; label met; begin s:=-12; k:=90; Writeln('s=',s,', k=',k); s:=s+10; Writeln('s=',s); met: Writeln('Метка met:'); k:=k+10; Write('k=',k); if k<200 then s:=50 else s:=s+k; Writeln(', s=',s); if k<200 then goto met; Writeln('Результат: s=',s) end.
А чтобы понять, как идет выполнение, в нужных точках ставим промежуточную выдачу - это называется "трассировкой".
var
s, k: integer;
label
met;
begin
s:=-12;
k:=90;
Writeln('s=',s,', k=',k);
s:=s+10;
Writeln('s=',s);
met:
Writeln('Метка met:');
k:=k+10; Write('k=',k);
if k<200 then s:=50 else s:=s+k;
Writeln(', s=',s);
if k<200 then goto met;
Writeln('Результат: s=',s)
end.
Результат выполнения программы:
s=-12, k=90
s=-2
Метка met:
k=100, s=50
Метка met:
k=110, s=50
Метка met:
k=120, s=50
Метка met:
k=130, s=50
Метка met:
k=140, s=50
Метка met:
k=150, s=50
Метка met:
k=160, s=50
Метка met:
k=170, s=50
Метка met:
k=180, s=50
Метка met:
k=190, s=50
Метка met:
k=200, s=250
Результат: s=250
x1 x2 x3 x4 x2∧x4 ¬x1 ¬x1∨x3 x2∧x4∧(¬x1∨x3) ¬x2∧x4∧(¬x1∨x3) ¬x1∧x2 ¬x3 ¬x1∧x2∧¬x3 x4∨¬x1∧x2∧¬x3 ¬x2∧x4∧(¬x1∨x3)∧(x4∨¬x1∧x2∧¬x3) x1∧x2 ¬x1∧x2 ¬x2∧x4∧(¬x1∨x3)∧(x4∨¬x1∧x2∧¬x3)∧¬x1∧x2 ¬x2∧x4∧(¬x1∨x3)∧(x4∨¬x1∧x2∧¬x3)∧¬x1∧x2≡1
0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0
0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1
0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0
0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1
0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1
0 1 0 1 1 1 1 1 0 1 1 1 1 0 0 1 0 0
0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0
0 1 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0
1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0
1 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 1 1
1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0
1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1
1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0
1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0
1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0
1 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0
Объяснение:
вроде так