a,b и c - логические переменные. Принимают значение "Истина" или "Ложь".
Соответственно, выражение a:= (x[i] = 0) and a означает, что a принимает значение "Истина" только при одновременном выполнении обоих условий: x[i] = 0 - истинное высказывание и значение а - "Истина".
Точно также выражение b:= ( not(c) and (x[i] > 0) or b; означает, что b принимает значение "Истина" в любом из двух случаев
1)при одновременном выполнении обоих условий: значение c - "Ложь" и x[i] > 0 - истинное высказывание.
2) Значение b - "Истина"
Последнее выражение c:= ( not(b) and (x[i] < 0) ) or c; аналогично предыдущему: с принимает значение "Истина" в любом из двух случаев:
1)при одновременном выполнении обоих условий: значение b - "Ложь" и x[i] < 0 - истинное высказывание.
Объяснение:
a,b и c - логические переменные. Принимают значение "Истина" или "Ложь".
Соответственно, выражение a:= (x[i] = 0) and a означает, что a принимает значение "Истина" только при одновременном выполнении обоих условий: x[i] = 0 - истинное высказывание и значение а - "Истина".
Точно также выражение b:= ( not(c) and (x[i] > 0) or b; означает, что b принимает значение "Истина" в любом из двух случаев
1)при одновременном выполнении обоих условий: значение c - "Ложь" и x[i] > 0 - истинное высказывание.
2) Значение b - "Истина"
Последнее выражение c:= ( not(b) and (x[i] < 0) ) or c; аналогично предыдущему: с принимает значение "Истина" в любом из двух случаев:
1)при одновременном выполнении обоих условий: значение b - "Ложь" и x[i] < 0 - истинное высказывание.
2) Значение c - "Истина"