Синтез асинхронных конечных автоматов, страница 4

4.  Нахождение ФАЛ для внутренних реле.

Y₁ = X₁X₂ ( 10001 v 10010 v 10011 v 10100 v 10101 v 10110 v 10111 v 11000

v 11001 v 11011 v 11100 v 11101 v 11110 v 11111v10000v11010 ) v X₁X₂ (00001 v 01000 v 01001 v 10001 v 11000 v 11001v10000v10000 )

Y₂  =  X₁X₂ ( 10001 v 10010 v 10011 v 10100 v 10101 v 10110 v 10111 v 11000

v 11001 v 11011 v 11100 v 11101 v 11110 v 11111v10000v11010 ) v X₁X₂ ( 01000 v 01001 v 01010 v 01011 v 01101 v 01110 v 01111 v 11000 v 11001 v 11011 v 11100

v 11101 v 11110 v 11111v11010v01100 ) v X₁X₂ ( 00100 v 00101 v 01101 v 10100 v 10101 v 11100 v 11101v01100 )

Y₃  =  X₁X₂ ( 01000 v 01001 v 0101 v 01011 v 01101 v 01110 v 01111

v 11000 v 11001 v 11011 v 11100 v 11101 v 11110 v 11111v11011 ) v X₁X₂ ( 00100

v 00101 v 00110 v 00111 v 01101 v 01110 v 01111 v 10100 v 10101 v 10110

v 10111 v 11100 v 11101 v 11110 v 11111v01100 )

 

Y₄  =  X₁X₂ ( 10001 v 10010 v 10011 v 10100 v 10101 v 10110 v 10111 v 11000

v 11001 v 11011 v 11100 v 11101 v 11110 v 11111v10000 ) v X₁X₂ ( 00010 v 00110 v 00111 v 01010 v 01011 v 01110 v 01111 v 10010 v 10011 v 10110 v 10111

v 11011 v 11110 v 11111v11010v00011 ) v X₁X₂ ( 00001 v 00101 v 00111 v 01001 v 01011 v 01101 v 01101 v 10001 v 10011 v 10101 v 10111 v 11001 v 11011 v 11101

v 11111v00011)

 

Y₅  =  X₁X₂ ( 00010 v 01010 v 01011 v 10010 v 10011 v 11011v11010v00011 )

v X₁X₂ ( 11111 v 11101 v 11011 v 11001 v 10111 v 10101 v 10011 v 10001 v 01111 v 01101 v 01011 v 01001 v 00111 v 00101 v 00001v00011)

5.  Минимизация с помощью карт Карно

Y₁=X₁X_2yy₁vX₁X₂y₃y₄

Y₄=X₁X₂y₁vX₁X₂y₄vX₁X₂y₅

6.       Минимизация ФАЛ вторым методом.

Y₁=X₁X₂(y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅)v X₁X₂(y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅)=X₁X₂y₁vX₁X₂y₃y₄

Y₂= X₁X₂(y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅)v X₁X₂(y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅)v X₁X₂(y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅)= X₁X₂y₁vX₁X₂y₂v X₁X₂y₃y₄

Y₃= X₁X₂ (y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅)v X₁X₂ (y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅)= X₁X₂y₂vX₁X₂y₃

Y₄= X₁X₂(y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅)v X₁X₂(y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅)v X₁X₂(y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅)= X₁X₂y₁vX₁X₂y₄v X₁X₂y₅

 

Y₅= X₁X₂(y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅)v X₁X₂(y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅v y₁y₂y₃y₄y₅)= X₁X₂y₅v X₁X₂y₃y₄