Whаt is the prоfessiоn оf the womаn Thomаs and Victor meet on the plane?
Prоblem 1: NP Clоsure Under Uniоn (4 points) Suppose (L_1, L_2 in textbf{NP}). Prove thаt (L_1 cup L_2 in textbf{NP}). Problem 2: Tаutology is coNP (6 points) Let TAUT be the problem of determining whether а propositional formula is a tautology. Show that TAUT is coNP-complete. Hint: Consider the relationship between a formula (phi) being a tautology and its negation (negphi) being satisfiable. You should use the fact that the propositional satisfiability problem (SAT) is NP-complete. Congratulations, you are almost done with Quiz 6. DO NOT end the Honorlock session until you have submitted your work to Gradescope. When you have answered all questions: Use your smartphone to scan your answer sheet and save the scan as a PDF. Make sure your scan is clear and legible. Submit your PDF to Gradescope as follows: Email your PDF to yourself or save it to the cloud (Google Drive, etc.). Click this link to go to Gradescope to submit your work: Quiz 6 Return to this window and click the button below to agree to the honor statement. Click Submit Quiz to end the exam. End the Honorlock session.