question is in the third picture

Use this State Machine Diagram for the following questions. You'll be creating a truth table, K-Maps, and functional specifications for the above state machine. Use the following encoding: State 0:00 State 1: 01 State 2: 10 State 3: 11 Notes: The two state bits are called S1 and SO in the following questions. For example, in state 10 we have that S1=1 and SO=0. The next state bits are indicated with : For example, S1 ' is the "next state bit value for S1". The complement of a variable is indicated with !. For example !A indicates "complement of A" The two state bits are called S1 and SO in the following questions. For example, in state 10 we have that S1=1 and SO=0. The next state bits are indicated with .. For example, S1' is the "next state bit value for S1". The complement of a variable is indicated with !. For example !A indicates "complement of A " You should name the input variable as A and the output variable as Y. For the state machine, what logical statements can be extracted from the K Map for 51 ? Note that if your statement has a ' ' + ', select each statement that appears. For example, if your functional statement is "S1 + !S2" then in the answers you'd select S1, and !S2. IA ISO !A 150 SOA S1SO SO !A 151 S1 !A S1A