You are given the task to automate a house garage door. The door has the following components:$1$ sensor $($named obst$)$ that detects obstructions $($obst $=1$ when there is anobstruction, $0$ otherwise$).1$ limit switch $($named s$\_$cl$)$ that detects that the door is fully closed. $($s$\_$cl $=1$ if