1answer.
Ask question
Login Signup
Ask question
All categories
  • English
  • Mathematics
  • Social Studies
  • Business
  • History
  • Health
  • Geography
  • Biology
  • Physics
  • Chemistry
  • Computers and Technology
  • Arts
  • World Languages
  • Spanish
  • French
  • German
  • Advanced Placement (AP)
  • SAT
  • Medicine
  • Law
  • Engineering
const2013 [10]
3 years ago
15

44. Express each of these system specifications using predicates, quantifiers, and logical connectives. a) Every user has access

to an electronic mailbox. b) The system mailbox can be accessed by everyone in the group if the file system is locked. c) The firewall is in a diagnostic state only if the proxy server is in a diagnostic state. d) At least one router is functioning normally if the throughput is between 100 kbps and 500 kbps and the proxy server is not in diagnostic mode.
Mathematics
1 answer:
DENIUS [597]3 years ago
4 0

Answer:

a. ∀x (User(x) → (∃y (Mailbox(y) ∧ Access(x, y))))

b. FileSystemLocked → ∀x Access(x, SystemMailbox)

c. ∀x ∀y ((Firewall(x) ∧ Diagnostic(x)) → (ProxyServer(y) → Diagnostic(y))

d. ∀x (ThroughputNormal ∧(ProxyServer(x)∧ ¬Diagnostic(x))) → (∃y Router(y)∧Functioning(y))

Step-by-step explanation:

a)  

Let the domain be users and mailboxes. Let User(x) be “x is a user”, let Mailbox(y) be “y is a mailbox”, and let Access(x, y) be “x has access to y”.  

∀x (User(x) → (∃y (Mailbox(y) ∧ Access(x, y))))  

(b)

Let the domain be people in the group. Let Access(x, y) be “x has access to y”. Let FileSystemLocked be the proposition “the file system is locked.” Let System Mailbox be the constant that is the system mailbox.  

FileSystemLocked → ∀x Access(x, SystemMailbox)  

(c)  

Let the domain be all applications. Let Firewall(x) be “x is the firewall”, and let ProxyServer(x) be “x is the proxy server.” Let Diagnostic(x) be “x is in a diagnostic state”.  

∀x ∀y ((Firewall(x) ∧ Diagnostic(x)) → (ProxyServer(y) → Diagnostic(y))  

(d)

Let the domain be all applications and routers. Let Router(x) be “x is a router”, and let ProxyServer(x) be “x is the proxy server.” Let Diagnostic(x) be “x is in a diagnostic state”. Let ThroughputNormal be “the throughput is between 100kbps and 500 kbps”. Let Functioning(y) be “y is functioning normally”.  

∀x (ThroughputNormal ∧(ProxyServer(x)∧ ¬Diagnostic(x))) → (∃y Router(y)∧Functioning(y))

You might be interested in
What is the largest whole-number value of n that your calculator will display in standard notation
Semenov [28]
A. 3^n      3^20
b.N^n      N^20
c.12^n    12^9
d.237^n  237^4
3 0
3 years ago
Read 2 more answers
The picture frames shown are both squares. The area of the smaller frame is 14 the area of the larger frame. Find the side lengt
allsm [11]

Answer: I think it helps with the square units that both squares have.

Step-by-step explanation:

5 0
2 years ago
Find the percent of the number 60% of 20
In-s [12.5K]

Step-by-step explanation:

60% of 20 = 12

5 0
3 years ago
Read 2 more answers
Roger made a table showing how he spent his time in one day. How many days
Kazeer [188]

Answer:

3 days will pass

Step-by-step explanation:

work 24×1/3=8

sleep 24×3/8=9

meals 24×1/8=3

computer 24×1/6=4

reach up to 24 with sleep

9+9+9=27

which took a little over 3 days

5 0
2 years ago
Which of the following options have the same value as 65% of 20?
Alekssandra [29.7K]

B

...........................

5 0
3 years ago
Read 2 more answers
Other questions:
  • Solve 4 + 2 x 5; the answer is ?
    11·2 answers
  • A charity organization is holding a food drive with a goal to collect at least 1,000 cans of
    15·1 answer
  • 12. Judith randomly selected 20% of the
    11·2 answers
  • Please help me asap
    8·1 answer
  • What times what equals 162
    13·1 answer
  • What is the similarity ratio of two cubes with volumes of 125 cubic meters and 216 cubic meters?
    6·1 answer
  • What is the difference between 3 and 1 4/6
    5·2 answers
  • Point P is (1,2)
    5·1 answer
  • Side length of a cube with a volume of 614cm
    11·1 answer
  • Noah walked a family’s dog 5 times this past month and earned the same amount each time. To thank him, the family gave him an ex
    9·1 answer
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!