(pascal)составить программу, которая определяет встречаются ли в значении строковой величины два подряд идущих одинаковых символа

// pascalabc.net 3.2, сборка 1353 от 27.11.2016 // внимание! если программа не работает, обновите версию! begin   var s: =readlnstring('-> ');   var c: =s[1];   for var i: =2 to s.length do       if s[i]=c then begin writeln(c,' - повторяющийся символ'); exit end       else c: =s[i];   writeln('повторяющихся символов нет') end. пример -> переезд е - повторяющийся символ

ответ:

⁻b∧(avb)

a b ⁻b avb   ⁻b∧(avb)

0   0   1   0         0

0   1   0   1           0

1   0   1   1           1

1   1   0   0         0

объяснение:

& - умножение = конъюнкция.

1 - сложение = дизъюнкция.

по картинке смотришь с конца.

в конце умножение, сразу ставим знак:

∧

дальше смотрим по верхней линии от & идёт ⁻b, дополняем:

⁻b∧

по другой линии от & идёт к сумме b и a:

⁻b∧(avb)

таблица истинности составляется так:

- сначала выписываешь одиночные элементы - это а и в. их значение нужно запомнить. у а - это половина 0, половина 1, а у в это повторяющееся 01 при 4 строках и повторяющееся 011 при 6 строках.

имеем:

a b

0   0

0   1

1   0

1   1

- затем добавляем отрицание в. оно меняет значение на противоположное. имеем:

a b   ⁻b

0   0   1

0   1     0

1   0   1

1   1     0

- потом добавляем дизъюнкцию, так как она в скобках. дизъюнкция = или. следовательно, чтобы получилось 1, то один из элементов должен быть 1. имеем:

a b ⁻b   avb

0   0     1     0

0   1   0     1

1   0     1     1

1     1   0     0

- и в конце конъюнкция = и. то есть чтобы получилось 1, все элементы должны быть 1. имеем:

a b ⁻b avb   ⁻b∧(avb)

0   0   1   0         0

0   1   0   1           0

1   0   1   1           1

1   1   0   0         0