reformated Door Simulation Ex1Logic file to include requirements, states, and fullfillments
reformated Door Simulation Ex2Logic file to include requirements, states, and fulfillments. Also fixed misc. spelling errors.
Merge branch 'DoorSimulation'