Анализ и синтез дискретных систем управления технологическими потоками: алгоритмы и программы. Владов Ю.Р. - 61 стр.

       write('sb32='); readln(sb32); write('km1o='); readln(km1o); write('km2o=');
       readln(km2o); write('km3o='); readln(km3o); write('kk11='); readln(kk11);
       write('kk12='); readln(kk12); write('kk21='); readln(kk21); write('kk22=');
       readln(kk22); write('kk31='); readln(kk31); write('kk32='); readln(kk32);
       km11:=km1o;km12:=km1o;km21:=km2o;km22:=km2o;km13:=km1o;
       km23:=km2o;km24:=km2o;km33:=km3o;kku11:=kk11;kku12:=kk12;
       kku21:=kk21;kku22:=kk22;kku31:=kk31;kku32:=kk32;
       KM1:=qf and fu1 and sb11 and(sb12 or km11)and km22 and kku12 and
       kku12; KM2:=qf and fu2 and(sb21 or km12)and(sb22 or km21)and km32 and
       kku21 and kku22;
       KM3:=qf and fu3 and(sb31 or km23)and(sb32 or km31)and kku31 and kku32;
       M1:=qf1 and km13 and(kk11 or kk12);
       M2:=qf2 and km24 and(kk21 or kk22);
       M3:=qf3 and km33 and(kk31 or kk32);
       writeln('KM1= ', KM1, 'KM2=', KM2, 'KM3= ', KM3); writeln('M1= ',
       M1,'M2= ',M2,'M3= ', M3);
end.


       2.1.3.2 СДУ ПТЛ, включающей 4 рабочие машины

       Система логических уравнений

KM1:=qf and fu1 and sb11 and(sb12 or km11)and km22 and kku12 and kku12;
KM2:=qf and fu2 and(sb21 or km12)and(sb22 or km21)and km32 and kku21 and
kku22; KM3:=qf and fu3 and(sb31 or km23)and(sb32 or km31)and km42 and kku31
and kku32; KM4:=qf and fu4 and(sb41 or km33)and(sb42 or km41)and kku41 and
kku42;
M1:=qf1 and km13 and(kk11 or kk12);
M2:=qf2 and km24 and(kk21 or kk22);
M3:=qf3 and km34 and(kk31 or kk32);
M4:=qf4 and km43 and(kk41 or kk42).

program sdu8 {СДУ ПТЛ, 4 рабочие машины}
var     qf,qf1,qf2,qf3,qf4,sb11,sb12,sb21,sb22,sb31,sb32,sb41,sb42,
        fu1,fu2,fu3,fu4:integer;
km1o,km11,km12,km13,km2o,km21,km22,km23,km24,km3o,km31:integer;
km32,km33,km34,km4o,km41,km42,km43,kk11,kku11,kk12,kku12,kk21,
Kku21,kk22,kku22,kk31,kku31,kk32,kku32: integer;
kk42,kku42,kk41,kku41,KM1,KM2,KM3,KM4,M1,M2,M3,M4: integer;
begin
      write('qf='); readln(qf); write('qf1='); readln(qf1); write('qf2='); readln(qf2);
      write('qf3='); readln(qf3); write('qf4='); readln(qf4); write('fu1='); readln(fu1);
      write('fu2='); readln(fu2); write('fu3='); readln(fu3); write('fu4='); readln(fu4);
                                                                                      61