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
Use properties to evaluate 7/5(1/4 divide 7/4)(-10)
cricket20 [7]
The answer isssssss c -2
3 0
3 years ago
Which is the equation of a line that has a slope of -2/3
Lesechka [4]

Answer:

The second one

Step-by-step explanation:

5 0
3 years ago
When an automobile is stopped with a roving safety patrol,each tire is checked for tire wear, and each headlight is checkedto se
ryzh [129]

Answer:

a) Joint ptobability distribution

\begin{pmatrix}  &Y=0&Y=1&Y=2&Y=3&Y=4\\X=0&0.3&0.05&0.025&0.025&0.1\\ X=1&0.18&0.03&0.015&0.015&0.06 \\ X=2&0.12&0.02&0.01&0.01&0.04\end{pmatrix}

b) P(X<= 1 and Y <= 1) = P(X<= 1) * P(Y<=1) = 0.56

c) P(X + Y = 0)=0.3

d) P(X + Y <= 1)=0.53

Step-by-step explanation:

We have to construct the joint probability table with the marginal probabilities of X and Y.

X can take values from 0 to 2, and Y can take values from 0 to 4.

We can calculate each point of the joint probability as:

P(x,y)=P_x(x)*P_y(y)

Then, the joint probabilities are:

X=0 Y=0 Px=0.5 Px=0.6 P(0,0)=0.3

X=0 Y=1 Px=0.5 Px=0.1 P(0,1)=0.05

X=0 Y=2 Px=0.5 Px=0.05 P(0,2)=0.025

X=0 Y=3 Px=0.5 Px=0.05 P(0,3)=0.025

X=0 Y=4 Px=0.5 Px=0.2 P(0,4)=0.1

X=1 Y=0 Px=0.3 Px=0.6 P(1,0)=0.18

X=1 Y=1 Px=0.3 Px=0.1 P(1,1)=0.03

X=1 Y=2 Px=0.3 Px=0.05 P(1,2)=0.015

X=1 Y=3 Px=0.3 Px=0.05 P(1,3)=0.015

X=1 Y=4 Px=0.3 Px=0.2 P(1,4)=0.06

X=2 Y=0 Px=0.2 Px=0.6 P(2,0)=0.12

X=2 Y=1 Px=0.2 Px=0.1 P(2,1)=0.02

X=2 Y=2 Px=0.2 Px=0.05 P(2,2)=0.01

X=2 Y=3 Px=0.2 Px=0.05 P(2,3)=0.01

X=2 Y=4 Px=0.2 Px=0.2 P(2,4)=0.04

We can write it in the form of a matrix:

\begin{pmatrix}  &Y=0&Y=1&Y=2&Y=3&Y=4\\X=0&0.3&0.05&0.025&0.025&0.1\\ X=1&0.18&0.03&0.015&0.015&0.06 \\ X=2&0.12&0.02&0.01&0.01&0.04\end{pmatrix}

b) From the joint probability P(X<= 1 and Y <= 1) is equal to

P(X\leq 1 \& Y \leq 1)=P(0,0)+P(0,1)+P(1,0)+P(1,1)\\\\P(X\leq 1 \& Y \leq 1)=0.3+0.05+0.18+0.03=0.56

We can calculate P(X<= 1) * P(Y<=1)

P_x(X\leq 1)=P_x(0)+P_x(1)=0.5+0.3=0.8\\\\P_y(Y\leq1)=P_y(0)+P_y(1)=0.6+0.1=0.7\\\\P_x(X\leq1)*P_y(Y\leq1)=0.8*0.7=0.56

Both calculations give the same result.

c) Probability of no violations

P(X+Y=0)=P(0,0)=0.3

d) P(X + Y <= 1)

P(X+Y \leq 1)=P(0,0)+P(0,1)+P(1,0)\\\\P(X+Y \leq 1)=0.3+0.05+0.18=0.53

5 0
3 years ago
Of the following transformation types, which are examples of isometry?
Brrunno [24]
Isometry means lengths are preserved, and hence shapes must remain congruent.

Any dilation, stretching, etc are therefore excluded.

The transformations on the list that are examples of isometry are therefore:
rotation
translation
reflection
3 0
3 years ago
Read 2 more answers
The formula for volume of a prism is V = Bh.
Misha Larkins [42]

Hello, 3Coli here!

Here is the answer to your question:

The variable B stands for the area of the base.

In this prism, B equals 38.5 in.^2

The variable H stands for height.

In this prism, h is 9 in.

The volume of the prism is 346.5 in.^3

Hopefully, this helps! :D

Good luck with your assignment.

8 0
3 years ago
Other questions:
  • Who can help me out
    6·2 answers
  • The number of Carla can type varies directly with the number of minutes she types. Carla can type 114 words in 3 minutes. Which
    14·1 answer
  • UPS charges $7 for the first pound, and $0.20 for each additional pound. FedEx charges $5 for the first pound and $0.30 for each
    8·1 answer
  • Find the value of x that makes A||B
    8·1 answer
  • Can u simplify 66/90
    5·2 answers
  • Slove the expression
    6·2 answers
  • Can you help me on 34 and 35 please
    14·1 answer
  • What can be used to prove that d is perpendicular to t?
    5·2 answers
  • Y - 0.8x = 0.5<br> 5y - 2.5 = 4x<br> *Substitution
    8·2 answers
  • Help me solve this problem:<br> -3(x^-2 y^-2)^0
    11·2 answers
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!