Hello,
I have to design a state table of a door that opens and closes with a certain combination of s1s2 each being a 1bit binary number.
For example in order to unlock it need to follow this combination 00/01.
My question is when I consider the present state how can I know whether the lock is locked or not when it is no given in the instructions?
Thank you!

 

Welcome to AAC!

What are the instructions? It always helps us to help you if we know exactly what the problem statement is rather than your interpretation.

 

Before you harvest this coming wealth of answers you need to give us your idea of the answer. I hope you understand that this forum is here to help you learn, not to feed you the answer. So let me ask you, what is a way you can determine whether the lock is already in the locked position?