Question # 4: 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...



Question # 4:


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
isqueued.”




  1. a)
    p(F(p)∧B(p))→∃jL(j)


  2. b)
    pB(p)→∃jQ(j)


  3. c)
    j(Q(j)∧L(j))→∃pF(p)



Jun 05, 2022
SOLUTION.PDF

Get Answer To This Question

Related Questions & Answers

More Questions »

Submit New Assignment

Copy and Paste Your Assignment Here