The Gateway to Computer Science Excellence
0 votes
19 views

Express each of these system specifications using predicates, quantifiers, and logical connectives.

  1. When there is less than 30 megabytes free on the hard disk, a warning message is sent to all users.
  2. No directories in the file system can be opened and no files can be closed when system errors have been detected.
  3. The file system cannot be backed up if there is a user currently logged on.
  4. Video on demand can be delivered when there are at least 8 megabytes of memory available and the connection speed is at least 56 kilobits per second.
in Mathematical Logic by Boss (10.8k points) | 19 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,841 comments
94,040 users