Kenneth Rosen Edition 7 Exercise 1.4 Question 39 (Page No. 55)

Question

Translate these specifications into English where $F(p)$ is“Printer $p$ is out of service,”$B(p)$ is “Printer $p$ is busy,”$L(j )$ is “Print job $j$ is lost,” and $Q(j )$is “Print job $j$ is queued.”

1. $\exists p (F(p) \wedge B(p)) \rightarrow \exists j L(j)$
2. $\forall B(p) \rightarrow \exists j Q(j)$
3. $\exists j (Q(j) \wedge L(j)) \rightarrow \exists p F(p)$
4. $(\forall p B(p) \wedge \forall j Q(j)) \rightarrow \exists j L(j)$