GEIT2331-101SyllabusSpring 2018 (1)-Protected View - Saved to this PC ferences Mailings Review an contain viruses. Unless you need to edit, it's safer to stay in Protected View. Enable Editing Note: Subject to change. Please check on a regular basis. Homeworks Homework 1 (Due: Tuesday, Feb. 6 in class) . Is the following set of system specifications consistent? Whenever the system software is being upgraded, users cannot access the file system Users can save new files if and only if they can access the file system. The system software is not being upgraded, if users cannot save new files. Which of the following compound propositions is satisfiable and why? 2. (((p q) r)-9e-s b) 3. Exercise 16 on page 22 in the textbook 4. Show that (-q ^ (p q)) -p is a tautology using logical equivalences. s, Find the Principal Disjunctive Normal Form and the Principal Conjunctive Normal Form for the following proposition: (p t,-q) ^ (-p r). 5. DELL F6 F7 F8 F9 F10 F11 F12 PrtScr