The Gateway to Computer Science Excellence
0 votes
13 views

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)$
in Mathematical Logic by Boss (10.8k points) | 13 views

Please log in or register to answer this question.

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
50,666 questions
56,167 answers
193,840 comments
94,041 users