Complete Interval Temporal Logic formulae

I have a task that is different formulae and equations of Interval Temporal Logic (ITL) that must be completed and a report using the ITL language. Example of Questions will be shown as images in attachment file. It should be a quick job for someone who’s familiar in interval temporal logic.