Problem Set 1
Problem 1. [24 points]
Translate the following sentences from English to predicate logic. The domain that you are working over is X, the set of people. You may use the functions S(x), meaning that “x has been a student of 6.042,” A(x), meaning that “x has gotten an ‘A’ in 6.042,” T (x), meaning that “x is a TA of 6.042,” and E(x, y), meaning that “x and y are the same person.”
(a) [6 pts] There are people who have taken 6.042 and have gotten A’s in 6.042
(b) [6 pts] All people who are 6.042 TA’s and have taken 6.042 got A’s in 6.042
(c) [6 pts] There are no people who are 6.042 TA’s who did not get A’s in 6.042.
(d) [6 pts] There are at least three people who are TA’s in 6.042 and have not taken 6.042
Problem 2. [24 points]
Use a truth table to prove or disprove the following statements:
(a) [12 pts] ¬(P ∨ (Q ∧ R)) = (¬P ) ∧ (¬Q ∨ ¬R)
(b) [12 pts] ¬(P ∧ (Q ∨ R)) = ¬P ∨ (¬Q ∨ ¬R)
Problem 3. [24 points]
The binary logical connectives ∧ (and), ∨ (or), and (implies) appear often in not only ⇒ computer programs, but also everyday speech. In computer chip designs, however, it is considerably easier to construct these out of another operation, nand, which is simpler to represent in a circuit. Here is the truth table for nand:
P Q true true false true false true false true true false false true
P nand Q
2 Problem Set 1
(a) [12 pts] For each of the following expressions, find an equivalent expression using only nand and (not), as well as grouping parentheses to specify the order in which the operations ¬ apply. You may use A, B, and the operators any number of times.
(i) A ∧ B (ii) A ∨ B (iii) A B⇒
(b) [4 pts] It is actually possible to express each of the above using only nand, without needing to use ¬. Find an equivalent expression for ( A) using only nand and grouping ¬ parentheses.
(c) [8 pts] The constants true and false themselves may be expressed using only nand. Construct an expression using an arbitrary statement A and nand that evaluates to true re gardless of whether A is true or false. Construct a second expression that always evaluates to false. Do not use the constants true and false themselves in your statements.
Problem 4. [10 points] You have 12 coins and a balance scale, one of which is fake. All the real coins weigh the same, but the fake coin weighs less than the rest. All the coins visually appear the same, and the difference in weight is imperceptible to your senses. In at most 3 weighings, give a strategy that detects the fake coin. (Note: the scale in this problem is a scale with two dishes, which tips toward the side that is heavier. For clarification, do an image search for “balance scale”).
Problem 5. [6 points] Prove the following statement by proving its contrapositive: if r is irrational, then r1/5 is irrational. (Be sure to state the contrapositive explicitly.)
Problem 6. [12 points] Suppose that w2 + x2 + y2 = z2, where w, x, y, and z always denote positive integers. (Hint: It may be helpful to represent even integers as 2i and odd integers as 2j + 1, where i and j are integers)
Prove the proposition: z is even if and only if w, x, and y are even. Do this by considering all the cases of w, x, y being odd or even.
MIT OpenCourseWare http://ocw.mit.edu
6.042J / 18.062J Mathematics for Computer Science Fall 2010
Why Choose Us
At Myhomeworkwriters.com, we always aim at 100% customer satisfaction. As such, we never compromise o the quality of our homework services. Our homework helpers ensure that they craft each paper carefully to match the requirements of the instruction form.
Professional Academic Writers
With Myhomeworkwriters.com, every student is guaranteed high-quality, professionally written papers. We ensure that we hire individuals with high academic qualifications who can maintain our quality policy. These writers undergo further training to sharpen their writing skills, making them more competent in writing academic papers.
Our company maintains a fair pricing system for all academic writing services to ensure affordability. Our pricing system generates quotations based on the properties of individual papers.
My Homework Writers guarantees all students of swift delivery of papers. We understand that time is an essential factor in the academic world. Therefore, we ensure that we deliver the paper on or before the agreed date to give students ample time for reviewing.
Myhomeworkwriters.com maintains a zero-plagiarism policy in all papers. As such, My Homework Writers professional academic writers ensure that they use the students’ instructions to deliver plagiarism-free papers. We are very keen on avoiding any chance of similarities with previous papers.
Customer Support 24/7
Our customer support works around the clock to provide students with assistance or guidance at any time of the day. Students can always communicate with us through our live chat system or our email and receive instant responses. Feel free to contact us via the Chat window or support email: firstname.lastname@example.org.
Try it now!
How it works?
Follow these simple steps to get your paper done
Place your order
Fill in the order form and provide all details of your assignment.
Proceed with the payment
Choose the payment system that suits you most.
Receive the final file
Once your paper is ready, we will email it to you.
Our Homework Writing Services
My Homework Writers holds a reputation for being a platform that provides high-quality homework writing services. All you need to do is provide us with all the necessary requirements of the paper and wait for quality results.
At My Homework Writers, we have highly qualified academic gurus who will offer great assistance towards completing your essays. Our homework writing service providers are well-versed with all the aspects of developing high-quality and relevant essays.
Admission and Business Papers
With Myhomeworkwriters.com, we will help you secure a position at your desired institution. Our essay writing services include the crafting of admissions papers. We will still help you climb your career ladder by helping you write the official papers that will help you secure a job. We will guide you on how to write an outstanding portfolio or resume.
Editing and Proofreading
Myhomeworkwriters.com has a professional editorial team that will help you organize your paper, paraphrase it, and eliminate any possible mistakes. Also, we will help you check on plagiarism to ensure that your final paper posses quality and originality.
My Homework Writers harbors professional academic writers from diverse academic disciplines. As such, we can develop homework writing services in all academic areas. The simplicity or complexity of the paper does not affect the quality of homework writing services.