Prepare written answers to, and be prepared to discuss each of the following questions, each of which is taken from, is an extension of, or is inspired by the correspondingly numbered exercise question from the Computational Thinking for the Modern Problem Solver text.
Question 4. Give the truth table for each of the following propositions.
- P AND (Q IMPLIES R)
- (P OR Q) AND R
- P OR (Q AND R)
- NOT (P AND (Q OR R))
Question 5. Give an interesting web query that uses logical conjunction, disjunction, and negative in a substantive manner to produce an interesting result. Present this query as an English statement and also as the actual query entered into the search box of your favorite online search engine. (It may be best to present a â€œscreen shotâ€ that shows this query and some of the top results.) Also, provide an evaluation of the results you receive.
Question 6. Draw a digital circuit for each of the following propositions.
- (P OR Q) AND R
- P OR (Q AND R)
- NOT ( P AND (Q OR R))
Question 1. Write a set of functional requirements in the style of Figure 4.1 for the task of creating a calendar entry on a typical smartphone; such as the one you may currently use.
Question 4. Create a use case diagram for handling books in a library. Be certain to capture the work of patrons and librarians.
Question 6. Consider the following set of functional requirements.
Action: If the current temperature is less than 0 degrees Fahrenheit and the forecast is for snow, then you should wear a parka.
Action: If the current temperature is greater than 0 degrees Fahrenheit and the forecast is for snow, then you should wear a raincoat.
Action: If the current temperature is greater than 0 degrees Fahrenheit and the forecast is for precipitation, then you should carry an umbrella.
Action: If the current temperature is less than 0 degrees Fahrenheit and the forecast is for no precipitation, then you should wear a leather coat.
- Create a state-activity table for this set of requirements.
- Identify all of the conflicts in this set of requirements.
- Identify all of the ways in which this set of requirements are incomplete
Real World Logic
The University of Scrantonâ€™s general Online Admission Requirements along with specific requirements for the Master of Science in Health Informatics program are available online at http://elearning.scranton.edu/admissions?cmgfrm=https%3A%2F%2Fwww.google.com%2F.
For this assignment, you are to develop a set of â€œwell-formed propositionsâ€ (as concise English statements) that state the logic expressed on these pages. Consider the following proposition that is likely the culminating statement:
Name satisfies the Online Admission Requirements for the Master of Science in Health Informatics at the University of Scranton.
This statement should be logically true for you, but it is probably not true for your closest relative and likewise probably not true for the current President of the United States, nor for most people in the world. Imagine, someone who has fulfilled some but not yet all of these admission requirement; for them the above statement would be false.
Each of the well-formed propositions you develop must be carefully worded, and the set of propositions must, in total, present the full logic of this real world problem. The following statement may well be in this set:
Name has submitted an Application for Admission.
After you have developed the set of â€œwell-formed propositionsâ€ (as concise English statements) you are to then associate appropriate names with these statements, as is shown in Section 3.2.2. Note that it is common practice to use names such as P and Q, but you are not limited just to these names. The main reason for binding names to each proposition is so that a concise truth table for this logical system can be developed. This truth table will then be the final requirement of this assignment.