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 fractional form of 0.8
Sholpan [36]

Answer:

4/5

Step-by-step explanation:

4 0
3 years ago
Read 2 more answers
Any of these please I’m having difficulty
frosja888 [35]

Answer:

864 squared meters

Step-by-step explanation:

Set up a proportion.  The scale between 270 and 360 should be the same as 648 to the fourth yard.

\frac{270}{360} = \frac{648}{x}\\270x = (360)(648)\\270x = 233280\\x = 864 m^2

7 0
3 years ago
A triangle has an area of 38.4 cm2. The
lisov135 [29]

Answer:

6cm

Step-by-step explanation:

A = \frac{h_b b}{2}

38.4 = \frac{12.8_b b}{2}

b = 2\frac{A}{h_b}

b = 2\frac{38.4}{12.8} = 6

8 0
3 years ago
Hi. Sorry this is bad quality. <br><br> What is the slope of the line on the graph?
d1i1m1o1n [39]
Slope (m) =0

θ =180°

distance (d) =15

ΔX =15

ΔY =0
5 0
3 years ago
The variables x and y vary inversely. When y is 725, x is 20. What is x when y is 50?
Ipatiy [6.2K]
I think it is 2.5 but not sure correct me if i am wrong
6 0
3 years ago
Read 2 more answers
Other questions:
  • Given f(x)= a×e−bx , where a = 1 and b = 6,
    5·1 answer
  • Tom used a photocopier to dilate the design for a monorail track system. The figure shows the design and its photocopy:
    7·2 answers
  • What is the answer to this math problem, g=c+x
    8·1 answer
  • Is 1/5 equal less or greater than 2/10
    5·1 answer
  • ?-66= 25 what is the ?
    12·1 answer
  • Can someone help me with this?? - Linear Functions
    6·1 answer
  • In 103.4, the digit 0 is in the tens place. Its value is?
    12·1 answer
  • What line is perpendicular to 1/3
    8·2 answers
  • Someone please help me on this one!
    12·1 answer
  • A motorcycle is traveling at a constant speed of 45 miles per hour. how many feet does it travel in 6 seconds? remember that 1 m
    14·1 answer
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!