@

#      32,        
#    -      (      35 )
#       16   (   )
# State -    (    )
# On->Off -  ,    , Off->On -  
# V -   ,      

##   1 
#TS - S1 -  ""
#TS - S2 -  
#TS - S3 -  1   1 .
#TS - S4 -  1  1  .
#TS - S5 - 2   .
#TS - S6 -    2  .
#TS - S7 -      .
#TS - S8 - 1  .
#TS - S9 - 2  .
#TS - S10 -  .
#TS - S11 - 1  .
#TS - S12 -   .
#State - S11
#On->Off
M1=AND(S1,S2)
M2=AND(S5,S8,S9,S10)
M3=OR(M2,~S12)
V=AND(M1,S11,M3)
#Off->On
M1=AND(S1,S2)
M2=AND(~S5,~S6,~S7,~S12)
M3=AND(S5,S8,S9,S10)
M4=OR(M2,M3)
V=AND(M1,~S3,~S4,M4,~S11)

##   2 
#TS - S1 -  ""
#TS - S2 -  
#TS - S3 -  2   2 .
#TS - S4 -  2  2  .
#TS - S5 - 1   .
#TS - S6 -    1  .
#TS - S7 -      .
#TS - S8 - 1  .
#TS - S9 - 2  .
#TS - S10 -  .
#TS - S11 - 2  .
#TS - S12 -   .
#State - S11
#On->Off
M1=AND(S1,S2)
M2=AND(S5,S8,S9,S10)
M3=OR(M2,~S12)
V=AND(M1,S11,M3)
#Off->On
M1=AND(S1,S2)
M2=AND(~S5,~S6,~S7,~S12)
M3=AND(S5,S8,S9,S10)
M4=OR(M2,M3)
V=AND(M1,~S3,~S4,M4,~S11)

##  
#TS - S1 -  ""
#TS - S2 -  
#TS - S3 -    1   .
#TS - S4 -    2   .
#TS - S5 -      .
#TS - S6 -   .
#TS - S7 -   .
#State - S6
#On->Off
M1=AND(S1,S2)
V=AND(M1,S6,~S7)
#Off->On
M1=AND(S1,S2)
V=AND(M1,~S3,~S4,~S5,~S6,~S7)

##  
#TS - S1 -  ""
#TS - S2 -  
#TS - S3 -      .
#TS - S4 -      2 .
#TS - S5 -   2 .
#TS - S6 -   3 .
#TS - S7 -   4 .
#TS - S8 -   5 .
#TS - S9 -   6 .
#TS - S10 -   .
#TS - S11 -  .
#State - S10
#On->Off
M1=AND(S1,S2)
V=AND(M1,S10,~S11)
#Off->On
M1=AND(S1,S2)
V=AND(M1,~S3,~S4,~S5,~S6,~S7,~S8,~S9,~S10,~S11)

##       1
#TS - S1 -  ""
#TS - S2 -  
#TS - S3 - 2  .
#TS - S4 -   .
#TS - S5 -   .
#State - S5
#On->Off
M1=AND(S1,S2)
V=AND(M1,S5)
#Off->On
M1=AND(S1,S2)
V=AND(M1,~S3,~S4,~S5)

##       2
#TS - S1 -  ""
#TS - S2 -  
#TS - S3 - 1  .
#TS - S4 -   .
#TS - S5 -  .
#State - S5
#On->Off
M1=AND(S1,S2)
V=AND(M1,S5)
#Off->On
M1=AND(S1,S2)
V=AND(M1,~S3,~S4,~S5)

##    
#TS - S1 -  ""
#TS - S2 -  
#TS - S3 - 1  .
#TS - S4 - 2  .
#TS - S5 -  .
#State - S5
#On->Off
M1=AND(S1,S2)
V=AND(M1,S5)
#Off->On
M1=AND(S1,S2)
V=AND(M1,~S3,~S4,~S5)

##    
#TS - S1 -  ""
#TS - S2 -  
#TS - S3 -   .
#TS - S4 -  .
#State - S4
#On->Off
M1=AND(S1,S2)
V=AND(M1,S4)
#Off->On
M1=AND(S1,S2)
V=AND(M1,~S3,~S4)

##    
#TS - S1 -  ""
#TS - S2 -  
#TS - S3 -   .
#TS - S4 -  .
#State - S4
#On->Off
M1=AND(S1,S2)
V=AND(M1,S4)
#Off->On
M1=AND(S1,S2)
V=AND(M1,~S3,~S4)

##    
#TS - S1 -  ""
#TS - S2 -  
#TS - S3 -   .
#TS - S4 -    .
#TS - S5 -   2 .
#TS - S6 -   3 .
#TS - S7 -   4 .
#TS - S8 -   5 .
#TS - S9 -   6 .
#TS - S10 -  .
#TS - S11 -  .
#State - S11
#On->Off
M1=AND(S1,S2)
V=AND(M1,S11)
#Off->On
M1=AND(S1,S2)
V=AND(M1,~S3,~S4,~S5,~S6,~S7,~S8,~S9,~S10,~S11)

@