“…Always = (1,2,3,4,5,6,7).Day@(<01.hr+00.min>:<23.hr+59.min>) 5. Non-working hours(NWH) = {(2,3,4,5,6).Day@(<1.hr+00.min>:<7.hr+59.min>), (2,3,4,5,6).Day@(<18.hr+00.min>:<23.hr+59.mi n>), (1,7).Day@(<1.hr+00.min>:<23.hr+59.min> )} 6. Roles = {r1<student>, r2<faculty>, r3<administrative staff>, r4<network administrator>, r5<guest>}…”