Solution Found!
Express these system specifications using the propositions
Chapter 1, Problem 7E(choose chapter or problem)
Problem 7E
Express these system specifications using the propositions p “The message is scanned for viruses” and q “The message was sent from an unknown system” together with logical connectives (including negations).
a) “The message is scanned for viruses whenever the message was sent from an unknown system.”
b) “The message was sent from an unknown system but it was not scanned for viruses.”
c) “It is necessary to scan the message for viruses whenever it was sent from an unknown system.”
d) “When a message is not sent from an unknown system it is not scanned for viruses.”
Questions & Answers
QUESTION:
Problem 7E
Express these system specifications using the propositions p “The message is scanned for viruses” and q “The message was sent from an unknown system” together with logical connectives (including negations).
a) “The message is scanned for viruses whenever the message was sent from an unknown system.”
b) “The message was sent from an unknown system but it was not scanned for viruses.”
c) “It is necessary to scan the message for viruses whenever it was sent from an unknown system.”
d) “When a message is not sent from an unknown system it is not scanned for viruses.”
ANSWER:
Solution
Step 1:
We have to Express the given system specifications using the propositions p “The message is scanned for viruses” and q “The message was sent from an unknown system” together with logical connectives (including negations).