Consider the following propositions: The door is locked. The light is on.

Consider the following propositions:

•  D: The door is locked.

•  L: The light is on.

•  S: The store is open

Express the of the following statement using only the logical operators ∨, ∧, ¬ , and →; the propositional variables D, L, and S; and parentheses if needed:

 -- If the store is open, then the door being unlocked implies that the store is open.

I thought it was (S→¬ D)→S, but that is incorrect.