Want in detail Q2: Formally specify all the given questions then identify system or statements correctnessusing logic mathematical model (Note: you have to translate statement into logicalexpressions, construct truth tables and prove tautology, contingency and contradiction forsystem correctness.1. You cannot edit a protected Wikipedia entry unless youare an administrator. Express your answer in terms of e:"You can edit a protected Wikipedia entry" and a: "Youare an administrator."2. You can see the movie only if you are over 18 years oldor you have the permission of a parent. Express your an-swer in terms of m: "You can see the movie," e: "You areover 18 years old," and p: "You have the permission of aparent."3. You can graduate only if you have completed the require-ments of your major and you do not owe money to theuniversity and you do not have an overdue library book.Express your answer in terms of g: "You can graduate,"m: "You owe money to the university," r:"You have com-pleted the requirements of your major," and b: "You havean overdue library book."4. To use the wireless network in the airport you must paythe daily fee unless you are a subscriber to the service.Express your answer in terms of w: "You can use the wire-less network in the airport," d: "You pay the daily fee,"and s: "You are a subscriber to the service."5. You are eligible to be President of the U.S.A. only if youare at least 35 years old, were born in the U.S.A, or at thetime of your birth both of your parents were citizens, andyou have lived at least 14 years in the country. Expressyour answer in terms of e: "You are eligible to be Pres-ident of the U.S.A.," a: "You are at least 35 years old,"b: "You were born in the U.S.A," p: "At the time of yourbirth, both of your parents where citizens," and r: "Youhave lived at least 14 years in the U.S.A."

Question

Want in detail Q2: Formally specify all the given questions then identify system or statements correctnessusing logic mathematical model (Note: you have to translate statement into logicalexpressions, construct truth tables and prove tautology, contingency and contradiction forsystem correctness.1. You cannot edit a protected Wikipedia entry unless youare an administrator. Express your answer in terms of e:&#34;You can edit a protected Wikipedia entry&#34; and a: &#34;Youare an administrator.&#34;2. You can see the movie only if you are over 18 years oldor you have the permission of a parent. Express your an-swer in terms of m: &#34;You can see the movie,&#34; e: &#34;You areover 18 years old,&#34; and p: &#34;You have the permission of aparent.&#34;3. You can graduate only if you have completed the require-ments of your major and you do not owe money to theuniversity and you do not have an overdue library book.Express your answer in terms of g: &#34;You can graduate,&#34;m: &#34;You owe money to the university,&#34; r:&#34;You have com-pleted the requirements of your major,&#34; and b: &#34;You havean overdue library book.&#34;4. To use the wireless network in the airport you must paythe daily fee unless you are a subscriber to the service.Express your answer in terms of w: &#34;You can use the wire-less network in the airport,&#34; d: &#34;You pay the daily fee,&#34;and s: &#34;You are a subscriber to the service.&#34;5. You are eligible to be President of the U.S.A. only if youare at least 35 years old, were born in the U.S.A, or at thetime of your birth both of your parents were citizens, andyou have lived at least 14 years in the country. Expressyour answer in terms of e: &#34;You are eligible to be Pres-ident of the U.S.A.,&#34; a: &#34;You are at least 35 years old,&#34;b: &#34;You were born in the U.S.A,&#34; p: &#34;At the time of yourbirth, both of your parents where citizens,&#34; and r: &#34;Youhave lived at least 14 years in the U.S.A.&#34;

Accepted Answer

Since you have posted a multiple question according to guildlines I will solve first question for…