Расставляем нумерацию на корпусах и выводах функциональных элементов (см. вложение). выводы нумеруем 1, 2, 3, и нумерация приобретает вид (на примере DD1) DD1-1, DD1-2, DD1-3. Для удобства записи дефис не пишем, получается DD11, DD12, DD13.
2. Записываем входные сигналы и получаем выходные в соответствии с функцией каждого элемента.
Для DD1:
DD11 = A, DD12 = B,
DD13 = DD11 & DD12 = A & B
Для DD2:
DD21 = B, DD22 = C,DD23 = DD21 + DD22 = B + C
Для DD3:
DD31 = DD13= A & B, DD32 = DD23 = B + C
DD33 = DD31 & DD32 = (A & B) & ( B + C)
Для DD4:
DD41 = DD33 = (A & B) & ( B + C), DD42 = D
DD43 = DD41 + DD42 = (A & B) & ( B + C) + D
Результат: F(A,B,C,D) = (A & B) & ( B + C) + D. Пробуем упростить полученное выражение

F(A,B,D)=A & B + D (от С, как видим, функция не зависит).
4. Анализ
Схему можно существенно упростить. Удалить элементы DD2, DD3 и соединить выход DD1-3 со входом DD4-1
n,k,i:integer;
begin
for n:=1 to 2 do
begin
writeln('Введите строку ',n,':');
readln(s);
k:=0;
for i:=1 to length(s) do
begin
case s[i] of
'[': k:=k+1;
']': k:=k-1;
end;
end;
if k=0
then writeln('В строке ',s,' количество [ и ] одинаково')
else writeln('В строке ',s,' количество [ и ] не одинаково');
end;
end.
Пример:
Введите строку 1:
c:=a[imax,j]; a[imax,j]:=a[imin,j]; a[imin,j]:=c
В строке c:=a[imax,j]; a[imax,j]:=a[imin,j]; a[imin,j]:=c количество [ и ] одинаково
Введите строку 2:
Просто [ пример ]] со [[ скобками
В строке Просто [ пример ]] со [[ скобками количество [ и ] не одинаково