Check each of the states to verify that the transitions exiting the state are well formed. That is, for each state, check that the sum of the input conditions for all transitions is 1, and the product...

Check each of the states to verify that the transitions exiting the state are well formed. That is, for each state, check that the sum of the input conditions for all transitions is 1, and the product of the input conditions on each pair of transitions is 0. Show your work.

Extracted text: A'+B AB' A+B AB' SO S3 UL=0 S1 S2 UL=1 A' UL=0 АВ UL=0