Q2: Formally specify all the given questions then identify system or statements correctness using logic mathematical model (Note: you have to translate statement into logical expressions, construct truth tables and prove tautology, contingency and contradiction for system correctness. 1. You cannot edit a protected Wikipedia entry unless you are an administrator. Express your answer in terms of e: "You can edit a protected Wikipedia entry" and a: "You are an administrator."

Glencoe Algebra 1, Student Edition, 9780079039897, 0079039898, 2018
18th Edition
ISBN:9780079039897
Author:Carter
Publisher:Carter
Chapter1: Expressions And Functions
Section1.3: Properties Of Numbers
Problem 57HP
icon
Related questions
Question
Want in detail
Q2: Formally specify all the given questions then identify system or statements correctness
using logic mathematical model (Note: you have to translate statement into logical
expressions, construct truth tables and prove tautology, contingency and contradiction for
system correctness.
1. You cannot edit a protected Wikipedia entry unless you
are an administrator. Express your answer in terms of e:
"You can edit a protected Wikipedia entry" and a: "You
are an administrator."
2. You can see the movie only if you are over 18 years old
or you have the permission of a parent. Express your an-
swer in terms of m: "You can see the movie," e: "You are
over 18 years old," and p: "You have the permission of a
parent."
3. You can graduate only if you have completed the require-
ments of your major and you do not owe money to the
university 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 have
an overdue library book."
4. To use the wireless network in the airport you must pay
the 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 you
are at least 35 years old, were born in the U.S.A, or at the
time of your birth both of your parents were citizens, and
you have lived at least 14 years in the country. Express
your 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 your
birth, both of your parents where citizens," and r: "You
have lived at least 14 years in the U.S.A."
Transcribed Image Text:Q2: Formally specify all the given questions then identify system or statements correctness using logic mathematical model (Note: you have to translate statement into logical expressions, construct truth tables and prove tautology, contingency and contradiction for system correctness. 1. You cannot edit a protected Wikipedia entry unless you are an administrator. Express your answer in terms of e: "You can edit a protected Wikipedia entry" and a: "You are an administrator." 2. You can see the movie only if you are over 18 years old or you have the permission of a parent. Express your an- swer in terms of m: "You can see the movie," e: "You are over 18 years old," and p: "You have the permission of a parent." 3. You can graduate only if you have completed the require- ments of your major and you do not owe money to the university 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 have an overdue library book." 4. To use the wireless network in the airport you must pay the 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 you are at least 35 years old, were born in the U.S.A, or at the time of your birth both of your parents were citizens, and you have lived at least 14 years in the country. Express your 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 your birth, both of your parents where citizens," and r: "You have lived at least 14 years in the U.S.A."
Expert Solution
steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Recommended textbooks for you
Glencoe Algebra 1, Student Edition, 9780079039897…
Glencoe Algebra 1, Student Edition, 9780079039897…
Algebra
ISBN:
9780079039897
Author:
Carter
Publisher:
McGraw Hill
Algebra for College Students
Algebra for College Students
Algebra
ISBN:
9781285195780
Author:
Jerome E. Kaufmann, Karen L. Schwitters
Publisher:
Cengage Learning
Intermediate Algebra
Intermediate Algebra
Algebra
ISBN:
9781285195728
Author:
Jerome E. Kaufmann, Karen L. Schwitters
Publisher:
Cengage Learning
Algebra: Structure And Method, Book 1
Algebra: Structure And Method, Book 1
Algebra
ISBN:
9780395977224
Author:
Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. Cole
Publisher:
McDougal Littell