Hi, i was studying Asynchronous Circuit desing but i cant figure out how this book write these "Secondary Equations" for Y1 and Y2
Y1 there are "four 1" in the next state how can it be Y1= T't2+y1y2+Ty1?
Thanks!!!

 

Is this the solution? Like K-Map? The equation with this method are the same of the book