WHILE Not PstsUsl AND NOT PstsTable.EOF DO begin

PstsUsl:=(psts.KPst=dog.KPst)&(psts.AdrPst¹’Казань’);

{Навигация по таблицев Psts}

PstsTable.Next;

End;

{корректировка переменной DogUsl после формирования значения переменной PstsUsl, в данном контексте формула эквивалентна DogUsl:= DogUsl PstsUsl; }

DogUsl:=PstsUsl;

End;

{значение переменной DogUsl соответсвует значению дизъюнкции . Проверка условия D имеет смысл только при условии, что }