Math 2420

Summer 2018
Quiz 1
100 points Name:____________________________

Print this quiz, complete the answer sections, then scan or photo it along with all of your
work, and submit it in iCollege no later than 11:59 PM, Friday, June 15, 2018. Absolutely no
papers will be accepted after this time.

You are permitted to use your book on this test. However, bear in mind that the final exam
will NOT be open-book.

1. Let r = “I like pancakes,” s = “I like syrup,” and t = “I like honey.” Write this sentence in symbolic
form: I like pancakes, and I like syrup or honey, but not both.
2. Construct a truth table for the statement: p Ù (~q Ú r)
3. Are (p Ù ~q) and ~(p Ú q) logically equivalent? Justify your answer.
4. Use De Morgan’s laws to write the negation of the statement:
This computer program has a logical error in the first ten lines or it is being run with an
incomplete data set.
5. Is the statement a tautology, a contradiction, or neither? Justify your answer.
(~p Ú q) Ú (p Ù ~q)
6. Use Theorem 2.1.1 to verify the logical equivalence. Give a reason for each step.
~(pÚ ~q) Ú (~p Ù ~q) º ~p
7. Construct a truth table for the statement: (p Ú q) Ú (~p Ù q) ® q
8. Write the converse and the inverse of the statement:
If today is New Year’s Eve, then tomorrow is January.
9. Write the statement in if-then form in two ways, one of which is the contrapositive of the other:
Sam will be allowed on Signe’s racing boat only if he is an expert sailor.
10. Use truth tables to determine whether the argument is valid or not.
p®qÚr
~q Ú ~r
∴ ~p Ú ~r
11. Use the valid argument forms in Table 2.3.1 to deduce the conclusion from the premises,
giving a reason for each step:
 a. p ® q
b. r Ú s
c. ~s ® ~t
d. ~q Ú s
e. ~s
f. ~p Ù r ® u
g. w Ú t
h. ∴ u Ù w
12. Give the output signal for the circuit:

13. Find the Boolean expression that corresponds to the circuit in question 12.
14. Construct a circuit that has the table below as its input/output table.

15. Represent the decimal integer 1812 in binary notation.

16. Represent the binary integer 110011012 in decimal notation.
17. Perform the arithmetic in binary notation. Show work.
11001102
- 1012
18. Find the 8-bit two’s complement for the integer 177. Show work.
Bonus (5 points): Use the valid argument forms in Table 2.3.1 to deduce the conclusion from the
premises, giving a reason for each step:
 a. p ® (q Ú r)
b. p ® ~q
c. r ® q
d. p
e. ∴ ~p

Answers:

1.

2.

3.

4.

5.

6.
7.

8.

9.

10.

11.

12.

13.
14.

15.

16.

17.

18.

Bonus