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.” a. ∃p(F(p)...

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.” a. ∃p(F(p) ∧B(p)) −→ ∃jL(j) b. ∀pB(p) −→ ∃jQ(j) c. ∃j(Q(j) ∧ L(j)) −→ ∃pF(p) d. (∀pB(p) ∧∀jQ(j)) −→ ∃jL(j)