Name printed Student ID Section or TA s name and time CMSC 250 Quiz 4 Wednesday Feb 18 2004 Write all answers legibly in the space provided The number of points possible for each question is indicated in square brackets the total number of points on the quiz is 30 and you will have exactly 15 minutes to complete this quiz You may not use calculators textbooks or any other aids during this quiz 1 16 pnts For each of the following English Sentences translate the meaning into formal notation using the symbols and You may also use the following relational operators and 6 as well as the algebraic operators multiplication and division On the next line write the negation of the original statement using formal notation Negations may only appear immediately before an individual predicate There is a tree taller than any building Domains B all buildings and D all trees Predicate T x y x is taller than y statement negation The square of any even integer is an even integer Domain Z all integers Predicates E x x is even statement negation No pigs have wings Domain P all pigs Predicate W x x has wings statement negation There are at least two people here Domain P all people Predicate H x x is here statement negation TURN OVER 2 14 pnts Given the following truth table do each of the following tasks p 1 1 1 1 0 0 0 0 q 1 1 0 0 1 1 0 0 r 1 0 1 0 1 0 1 0 output 1 0 0 0 1 1 0 0 a Give the three situations values for p q and r that will give a 1 as the output in a single long logic statement of the form situation1 situation2 situation3 b Show the reduction of that line to an equivalent statement that has the minimum number of logical operators This reduction is in the standard form of a proof Equivalent Statement Rule 1 2 3 4 5 6 7 8 9 10 c Draw the circuit represented by this truth table using as few gates as possible d Give the equivalent logic statement without using any and gates
View Full Document
Unlocking...