Доказать равносильность тождеств, можно только таблицу истинности​

Пошаговая детализацияпредставляет собой простой процесс, предпола­гаю­щий первоначальное выражение логики модуля в терминах гипотети­чес­кого (условного) языка высокого уровня с последующей детализацией каждого предложения в терминах языка более низкого уровня, до тех пор, пока, наконец, не будет достигнут уровень используемого языка программи­рования. здесь уместно напомнить: чем меньше язык содержит деталей, тем более он высокого уровня. можно считать языком самого высокого уровня обычную человеческую речь, а языком низкого уровня — машинный язык.

Пешеходу запрещается: 1. двигаться по краю проезжей части дороги при наличии тротуара, пешеходной или  велосипедной дорожки, обочины, по которым возможно движение пешеходов.2. задерживаться и останавливаться на проезжей части дороги, в том числе на линии  горизонтальной дорожной разметки, разделяющей встречные и попутные потоки  транспортных средств, за исключением остановки на островках безопасности.3. переходить проезжую часть вне подземного, надземного, наземного пешеходных  переходов на участке дороги: - с разделительной зоной, разделительной полосой; - с общим числом полос движения шесть и более; - где установлены дорожные ограждения.4. выходить на проезжую часть дороги из-за стоящего транспортного средства или  иного объекта, ограничивающего обзорность дороги, не убедившись в отсутствии  приближающихся транспортных средств.