VAR

INICIO
S1
S2
S3
S4
S5
S6
M1
M2
M3
M4
M5
M6
M7
M8
M9
M10
M11
M12
M13
Q0
Q1
Q2

AT
AT
AT
AT
AT
AT
AT

AT
AT
AT

%IX0.0:BOOL;
%IX0.1:BOOL;
%IX0.2:BOOL;
%IX0.3:BOOL;
%IX0.4:BOOL;
%IX0.5:BOOL;
%IX0.6:BOOL;
:BOOL;
:BOOL;
:BOOL;
:BOOL;
:BOOL;
:BOOL;
:BOOL;
:BOOL;
:BOOL;
:BOOL;
:BOOL;
:BOOL;
:BOOL;
%QX2.0:BOOL;
%QX2.1:BOOL;
%QX2.1:BOOL;

END_VAR
M1:=
M2:=
M3:=
M4:=
M5:=
M6:=
M7:=
M8:=
M9:=
M10:=
M11:=
M12:=
M13:=

((INICIO AND S2 AND S4 AND S5) OR M1) AND NOT M2;

((M1 AND S6) OR M2) AND NOT M4;
((M2 AND S5) OR M3) AND NOT M8;
((M3 AND S1) OR M4) AND NOT M5;
((M4 AND S6) OR M5) AND NOT M7;
((M5 AND S5) OR M6) AND NOT M12;
((M6 AND S3) OR M7) AND NOT M8;
((M7 AND S6) OR M8) AND NOT M10;
((M8 AND S5) OR M9) AND NOT M12;
((M9 AND S2) OR M10) AND NOT M11;
((M10 AND S6) OR M11) AND NOT M13;
((M11 AND S5) OR M12) AND NOT M13;
((M12 AND S4)

Q0:= NOT M3;

Q1:= NOT M6;
Q3:= (M1 OR M4 OR M7)