# hw01 - • Do a truth table for p → q → r • Do a...

This preview shows page 1. Sign up to view the full content.

Spring-2011 CMSC 250: Homework 1 Due: Due Wed Feb 2, 2011 NOTE: Due AT THE BEGINNING of Recitation! COURSE WEBSITE: http://www.cs.umd.edu/˜gasarch/250/S11.html (NOTE- there is a tilda before gasarch. It may be easier to get to the course website via the dept webpage (go to class webpages) or gasarch’s homepage (it will be obvious).) 1. (0 points but you have to answer) What is your name? Write it clearly. Staple your HW. 2. (25 points) When is the ﬁrst midterm (give Date and Time)? When is the second midterm (give Date and Time)? When is the ﬁnal (give Date and Time)? By when do you have to inform Professor Gasarch that you cannot make the timeslot of the ﬁrst or second midterm? 3. (25 points) Give a Boolean Formula on ﬁve variables that has exactly one satisfying assign- ment. Give the satisfying assignment. 4. (25 points)
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: • Do a truth table for ( p → q ) → r . • Do a truth table for p → ( q → r ). 5. (25 points) A couple is a DINK (double income, no kids) if they are married, both work, and they do not have children. On Jan 1, 2010 Alice and Bob are a DINK. On Jan 1, 2011 Alice and Bob are NOT a DINK. • Let M be the statement Alice and Bob are married. • Let K be the statement Alice and Bob have kids. • Let A be the statement Alice has a job. • Let B be the statement Bob has a job. (a) Give a Boolean formula (a formula with AND, OR and NOT) on the variables M,K,A,B that is TRUE on Jan 1, 2010 and conveys as much information as possible. (b) Give a Boolean formula (a formula with AND, OR and NOT) on the variables M,K,A,B that is TRUE on Jan 1, 2011 and conveys as much information as possible. 1...
View Full Document

## This note was uploaded on 12/04/2011 for the course CMSC 250 taught by Professor Staff during the Spring '08 term at Maryland.

Ask a homework question - tutors are online