Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Department of Mathematics
MAM 102, Discrete Mathematics
Question Bank (2017-18) REVISED: July 2017
UNIT 1
2. Explain, without using a truth table, why (p ∨q ∨r) ∧(¬p ∨¬q ∨¬r) is true when at
least one of p, q, and r is true and at least one is false, but is false when all three variables
have the same truth value.
3. Show that each of these conditional statements is a tautology by using truth tables.
a) [¬p ∧(p ∨q)] →q b) [(p →q) ∧(q →r)] →(p →r)
c) [p∧(p →q)] →q d) [(p ∨q) ∧(p →r) ∧(q →r)] →r
4. Show that the following are logically equivalent without constructing a truth table
a) (p→q) ∨(p →r) and p →(q ∨r) b) (p →r) ∨(q →r) and (p ∧q) →r
c) ¬p →(q →r) and q →(p ∨r) d) ((q ∧ r) → s) ∧ (r → (p ∨ s)) and (r ∧ (p → q)) → s
5. Find formulas in CNF and DNF equivalent to each of the following formulas:
(a) ¬(p ∧T)
(b) ((p→q) →r) → F
(c) ¬ (p ↔q) ↔ r
(d) ((p∨ q) →r) ∧(r →¬(p ∨ q))
(e) (¬r) →(((p ∨ q) --+ r) →¬q)
6. Translate each of these statements into logical expressions using predicates, quantifiers,
and logical connectives.
a) Something is not in the correct place.
b) All tools are in the correct place and are in excellent condition.
c) Everything is in the correct place and in excellent condition.
d) Nothing is in the correct place and is in excellent condition.
e) One of your tools is not in the correct place, but it is in excellent condition.
7. Translate these specifications into English where F(p) is “Printer p is out of service,” B(p)
is “Printer p is busy,” L(j) is “Print job j is lost,” and Q(j) is “Print job j is queued.”
a) ∃p(F(p) ∧B(p)) →∃jL(j)
b) ∀pB(p) →∃jQ(j)
c) ∃j (Q(j) ∧L(j)) →∃pF(p)
d) (∀pB(p) ∧∀jQ(j)) →∃jL(j)
8. Translate these statements into English, where the domain for each variable consists of all
real numbers.
a) ∃x∀y(xy= y)
b) ∀x∀y(((x ≥0) ∧(y <0)) →(x −y >0))
c) ∀x∀y∃z(x = y + z)
9. Rewrite each of these statements so that negations appear only within predicates (that is,
so that no negation is outside a quantifier or an expression involving logical connectives).
a) ¬∃y∃xP(x, y) b) ¬∀x∃yP(x, y)
c) ¬∃y(Q(y) ∧∀x¬R(x, y))
d) ¬∃y(∃xR(x, y) ∨∀xS(x, y))
e) ¬∃y(∀x∃zT (x, y, z) ∨∃x∀zU(x, y, z))
12. Show that the argument form with premises (p ∧t) →(r ∨s), q →(u ∧t), u →p, and ¬s
and conclusion q →r is valid.
Use rules of inference to show that if ∀x(P(x) →(Q(x) ∧S(x))) and ∀x(P(x) ∧R(x)) are
true, then ∀(R(x) ∧S(x)) is true.
13. Given the following statements as premises, all referring to an arbitrary meal:
(a) If he takes coffee, he does not drink milk.
(b) If he eats crackers only then he drinks milk.
(c) He does not take soup unless he eats crackers.
(d) At noon today, he had coffee.
Whether he took soup at noon today?
14. Show that the following argument is a correct argument:
P
p q r s
q
¬s
r
19. Prove that is not a rational number using variables and quantifiers.
UNIT 2
UNIT 3
14. If a, b, c and d are integers such that a b(mod m) and c d(mod m), then prove that
e) a+c b+d(mod m)
f) a-c b-d(mod m)
g) ac bd(mod m)
h) ak=bk(mod m)
UNIT 4
15. Show that ( )≤2n for all positive integers n and all integers k with 0 ≤k ≤n.
16. What is pigeonhole principle? Prove that if 101 integers are selected from the set
A={1,2,…,200}, then there are two integers such that one divides the other.
17. Suppose a set of positive integers contain 37 elements. Then prove that the set contains two
elements that have the same remainder upon division by 36.
UNIT 5
ii.
iii.
3. Establish recurrence relation for the Fibonacci sequence and find its solution. Also find the
golden ratio.
4. Solve the following recurrence relations by substitution method:
i.
ii.
5. Solve the following recurrence relations using generating functions:
i.
ii.
iii.
6. Solve the following recurrence relations by characteristic root method:
i.
ii.
iii.
11. Find solution of the following recurrence relations by the method of generating functions:
i.
ii.
iii.