Discrete Mathematics: cram pack

Formula sheets, the key method steps for every topic and 8 practice problems, with full solutions at the back.

New problemsBack to the course

In the print window, choose “Save as PDF” to keep a copy on your device.

1Formulas and methods

Propositional logic & proofs

Rows of a truth table
2ⁿ
Implication
p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
Negated implication
¬(p → q) ≡ p ∧ ¬q
Biconditional
p ↔ q ≡ (p → q) ∧ (q → p)
De Morgan
¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
Distributive laws
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Negated quantifiers
¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
Modus ponens, modus tollens
p → q, p ⊢ q; p → q, ¬q ⊢ ¬p

Method

  1. Count the different variables: the truth table has 2ⁿ rows, starting with all of them 1.
  2. Give every subformula its own column and fill the columns from the inside out.
  3. Apply the rule of each connective: → is 0 only for 1 → 0, ↔ is 1 when both sides agree.
  4. For equivalences, compare the final columns row by row; for an argument, look only at the rows in which every premise is 1.
  5. To negate a quantified statement, move ¬ inwards, swap ∀ and ∃, and negate the inner formula.

Sets, relations & functions

Two sets
|A ∪ B| = |A| + |B| − |A ∩ B|
Three sets
|A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|
Difference and complement
A − B = A ∩ B′, |A′| = |U| − |A|
Power set and product
|𝒫(A)| = 2|A|, |A × B| = |A|·|B|
Subsets of size k
C(n, k) = n!/(k!(n − k)!)
Functions A → B
nᵐ; injective n!/(n − m)!; surjective Σ (−1)ᵏ C(n, k)(n − k)ᵐ
Relations on n elements
2n²; reflexive 2n² − n; symmetric 2n(n+1)/2
Composition
(g ∘ f)(x) = g(f(x))

Method

  1. Draw a Venn diagram and decide region by region what belongs to the set expression.
  2. For counting problems, fill in the regions from the centre outwards: all sets, then pairs, then single sets, then the outside.
  3. Use inclusion–exclusion as a check: |A ∪ B| = |A| + |B| − |A ∩ B|.
  4. For a relation, test each property on every pair and give one counterexample when it fails.
  5. For a function, count the arrows arriving at each element of B: at most one means injective, at least one surjective.

Graph theory

Handshake lemma
Σ deg(v) = 2|E|
Complete graphs
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
Regular graph
|E| = n·k/2
Tree and forest
|E| = n − 1, |E| = n − c
Leaves of a tree
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Euler
circuit: all degrees even; path: exactly 2 odd degrees
Hamilton circuits in Kn
(n − 1)!/2
Dijkstra update
d(v) = min(d(v), d(u) + w(u, v))
Walks of length L
(Mᴸ)ij

Method

  1. Write down the degree of every vertex; the degrees add up to twice the number of edges.
  2. For Euler questions, check that the graph is connected and count the vertices with odd degree.
  3. For trees, use n − 1 edges and the handshake lemma.
  4. For Dijkstra, keep a table of tentative distances and settle the smallest unsettled vertex each round.
  5. For a minimum spanning tree, sort the edges by weight and skip every edge that closes a cycle (Kruskal), or grow one tree from a start vertex (Prim).

Number theory & modular arithmetic

Division with remainder
a = q·n + r, 0 ≤ r < n
Euclid
gcd(a, b) = gcd(b, a mod b)
Least common multiple
lcm(a, b) = a·b/gcd(a, b)
Inverse
a·a⁻¹ ≡ 1 (mod n), gcd(a, n) = 1
Linear congruence
a·x ≡ b → x ≡ a⁻¹·b (mod n)
Euler’s totient
φ(n) = n·∏(1 − 1/p), φ(pᵏ) = pᵏ − pᵏ⁻¹
Fermat
aᵖ⁻¹ ≡ 1 (mod p)
RSA
n = pq, φ = (p − 1)(q − 1), d = e⁻¹ mod φ, c = mᵉ mod n, m = cᵈ mod n

Method

  1. Reduce every number modulo n first; remainders lie between 0 and n − 1.
  2. For a gcd, divide repeatedly with Euclid’s algorithm; the last nonzero remainder is the gcd.
  3. For an inverse, run the extended algorithm and keep the coefficient of a; add n if it is negative.
  4. Solve a·x ≡ b by multiplying with a⁻¹; combine two congruences by writing x = r₁ + m₁k.
  5. For powers, write the exponent in binary and square repeatedly; in RSA, d = e⁻¹ mod φ(n) with φ(n) = (p − 1)(q − 1).

2Practice problems

1.Propositional logic & proofsMedium
(a → c) ∨ (b → c)(a → c) ∧ (b → c)a ∨ (b → c)(a ∧ b) → c

Which formula is logically equivalent to (a ∨ b) → c? Click it.

(a ∨ b) → c
  1. 1(a → c) ∨ (b → c)
  2. 2(a → c) ∧ (b → c)
  3. 3a ∨ (b → c)
  4. 4(a ∧ b) → c
2.Propositional logic & proofsHard
pqrq → rp → rq → p111110101100011010001000

The argument with premises q → r; p → r and conclusion q → p is invalid. Click the row of the truth table that is a counterexample.

q → rp → r∴ q → p
  1. 1p = 1, q = 1, r = 1
  2. 2p = 1, q = 1, r = 0
  3. 3p = 1, q = 0, r = 1
  4. 4p = 1, q = 0, r = 0
  5. 5p = 0, q = 1, r = 1
  6. 6p = 0, q = 1, r = 0
  7. 7p = 0, q = 0, r = 1
  8. 8p = 0, q = 0, r = 0
3.Sets, relations & functionsMedium
UMPC

Of 33 first-year students, 20 passed Mathematics (M), 6 passed Physics (P) and 21 passed Chemistry (C). 3 passed M and P, 15 passed M and C, 3 passed P and C, and 1 passed all three. How many are in none of the three sets?

|U| = 33
|(M ∪ P ∪ C)′| =
4.Sets, relations & functionsHard
AB123abinjective, not surjectivesurjective, not injectivebijectiveneither

The arrow diagram shows a function f: A → B with A = {1, 2, 3} and B = {a, b}. Click the description that fits f.

f = {(1, a), (2, b), (3, b)}
  1. 1injective, not surjective
  2. 2surjective, not injective
  3. 3bijective
  4. 4neither
5.Graph theoryMedium

A connected graph has 17 vertices and 28 edges. How many edges k must be removed to leave a spanning tree?

|V| = 17|E| = 28
k =
6.Graph theoryHard
1523104758ABCDEF

Use Dijkstra’s algorithm to find the length d(F) of the shortest path from A to F in the weighted graph.

start: Aend: F
d(F) =
7.Number theory & modular arithmeticMedium

Find the smallest positive integer x with x ≡ 2 (mod 3) and x ≡ 4 (mod 5).

x ≡ 2 (mod 3)x ≡ 4 (mod 5)
x =
8.Number theory & modular arithmeticHard
mc = me​ mod ncm = cd​ mod nm(n, e) = (329, 7)d = ?

An RSA key uses the primes p = 7 and q = 47 and the public exponent e = 7. Find the private exponent d (0 < d < φ(n)).

p = 7q = 47e = 7
d =

3Solutions

1.Propositional logic & proofs

Answer: (a → c) ∧ (b → c)

Logical equivalence: two formulas are equivalent (≡) when they have the same value in every row of the truth table. A tautology is 1 in every row, a contradiction is 0 in every row, and a contingency is neither. Useful laws: De Morgan, ¬(a ∧ b) ≡ ¬a ∨ ¬b and ¬(a ∨ b) ≡ ¬a ∧ ¬b; a → b ≡ ¬a ∨ b ≡ ¬b → ¬a (contrapositive); ¬(a → b) ≡ a ∧ ¬b; and the distributive laws, a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).

The law

(a ∨ b) → c needs c whenever either a or b holds: (a → c) ∧ (b → c).
(a ∨ b) → c ≡ (a → c) ∧ (b → c)

Check with the truth table

a = 1, b = 1, c = 1: 1 | 1 1 1 1
a = 1, b = 1, c = 0: 0 | 0 0 1 0
a = 1, b = 0, c = 1: 1 | 1 1 1 1
a = 1, b = 0, c = 0: 0 | 1 0 1 1
a = 0, b = 1, c = 1: 1 | 1 1 1 1
a = 0, b = 1, c = 0: 0 | 1 0 0 1
a = 0, b = 0, c = 1: 1 | 1 1 1 1
a = 0, b = 0, c = 0: 1 | 1 1 1 1

Answer

(a → c) ∧ (b → c)

The columns after the bar are the options in the order shown.

2.Propositional logic & proofs

Answer: p = 0, q = 1, r = 1

Quantifiers and arguments: ¬∀x P(x) ≡ ∃x ¬P(x) and ¬∃x P(x) ≡ ∀x ¬P(x). Move a negation inwards, swap every quantifier it passes, and negate the inner formula with the propositional laws, such as ¬(a → b) ≡ a ∧ ¬b. An argument is valid when the conclusion is 1 in every row in which all premises are 1. A single row with true premises and a false conclusion is a counterexample and shows the argument is invalid.

Premises and conclusion row by row

p = 1, q = 1, r = 1: 1 1 | 1
p = 1, q = 1, r = 0: 0 0 | 1
p = 1, q = 0, r = 1: 1 1 | 1
p = 1, q = 0, r = 0: 1 0 | 1
p = 0, q = 1, r = 1: 1 1 | 0
p = 0, q = 1, r = 0: 0 1 | 0
p = 0, q = 0, r = 1: 1 1 | 1
p = 0, q = 0, r = 0: 1 1 | 1

Counterexample

p = 0, q = 1, r = 1

Answer

p = 0, q = 1, r = 1

An argument with this form looks like a valid rule, but one row is enough to show that it is not.

3.Sets, relations & functions

Answer: |(M ∪ P ∪ C)′| = 6

Sets and Venn diagrams: A ∪ B holds the elements in A or B (or both), A ∩ B the elements in both, A − B the elements of A that are not in B, and the complement A′ everything in U that is not in A. In a Venn diagram every set expression is a union of regions, so count it region by region. Inclusion–exclusion: |A ∪ B| = |A| + |B| − |A ∩ B|, and |A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|.

Centre and pairs

M ∩ P ∩ C: 1
M ∩ P only: 3 − 1 = 2
M ∩ C only: 15 − 1 = 14
P ∩ C only: 3 − 1 = 2

Single sets

M only: 20 − 2 − 14 − 1 = 3
P only: 6 − 2 − 2 − 1 = 1
C only: 21 − 14 − 2 − 1 = 4

Answer

|M ∪ P ∪ C| = 27
|(M ∪ P ∪ C)′| = 33 − 27 = 6

Answer

|(M ∪ P ∪ C)′| = 6
4.Sets, relations & functions

Answer: surjective, not injective

Functions and counting: a function f: A → B gives every element of A exactly one image in B. f is injective (one-to-one) when different elements have different images, surjective (onto) when every element of B is an image, and bijective when both hold. With |A| = m and |B| = n there are nᵐ functions, n!/(n − m)! injective ones (m ≤ n), and by inclusion–exclusion Σ (−1)ᵏ·C(n, k)·(n − k)ᵐ surjective ones. |𝒫(A)| = 2ᵐ and |A × B| = m·n.

Injective?

f(2) = f(3) = b → not injective

Surjective?

every element of B is hit → surjective

Answer

surjective, not injective

Answer

surjective, not injective
5.Graph theory

Answer: k = 12

Euler, Hamilton and trees: a connected graph has an Euler circuit (every edge once, back to the start) when every vertex has even degree, and an Euler path that is not a circuit when exactly two vertices have odd degree; the path then runs from one odd vertex to the other. A Hamilton circuit visits every vertex once; Kn has (n − 1)!/2 of them. A tree on n vertices has n − 1 edges, and a connected graph with m edges keeps a spanning tree after removing m − n + 1 edges.

Edges of a spanning tree

17 − 1 = 16

Edges to remove

k = 28 − 16 = 12

Answer

k = 12
6.Graph theory

Answer: d(F) = 25

Shortest paths and spanning trees: Dijkstra’s algorithm settles one vertex per round: the unsettled vertex with the smallest tentative distance. Its distance is then final, and every neighbour v gets d(v) = min(d(v), d(u) + w(u, v)). Kruskal’s algorithm builds a minimum spanning tree by taking the edges from light to heavy and skipping any edge that would close a cycle; Prim’s algorithm grows one tree from a start vertex by always adding the lightest edge that leaves it. A spanning tree of n vertices has n − 1 edges.

Dijkstra round by round

Each line: the vertex settled, its final distance, and the neighbours whose distance improves.

A (0): B: 15
B (15): C: 17, D: 18, E: 23
C (17)
D (18): E: 22, F: 25
E (22)
F (25)

Shortest path

A → B → D → F
d(F) = 25

Answer

d(F) = 25
7.Number theory & modular arithmetic

Answer: x = 14

Inverses and congruences: a has an inverse modulo n exactly when gcd(a, n) = 1. The extended Euclidean algorithm writes 1 = s·n + t·a, and then a⁻¹ ≡ t (mod n). A congruence a·x ≡ b (mod n) with gcd(a, n) = 1 has the solution x ≡ a⁻¹·b. Two congruences x ≡ r₁ (mod m₁) and x ≡ r₂ (mod m₂) with coprime moduli have one solution modulo m₁·m₂ (Chinese remainder theorem). Euler’s φ(n) counts the numbers from 1 to n that are coprime to n: φ(n) = n·∏(1 − 1/p).

First congruence

x = 2 + 3k

Second congruence

2 + 3k ≡ 4 (mod 5) → 3k ≡ 2 (mod 5)
k ≡ 2·2 ≡ 4 (mod 5)

Result

x = 2 + 3·4 = 14
x = 14
check: 14 mod 3 = 2, 14 mod 5 = 4

Answer

x = 14
8.Number theory & modular arithmetic

Answer: d = 79

Modular powers and RSA: compute aᵏ mod n by repeated squaring: write k in binary, square, reduce after every step and multiply the powers whose bit is 1. Fermat: aᵖ⁻¹ ≡ 1 (mod p) for a prime p not dividing a, so the exponent can be reduced modulo p − 1. RSA: choose primes p and q, n = p·q and φ(n) = (p − 1)(q − 1); the public exponent e is coprime to φ(n), and the private exponent is d = e⁻¹ mod φ(n). Encrypt with c = mᵉ mod n and decrypt with m = cᵈ mod n.

Modulus and totient

n = 7·47 = 329
φ(n) = 6·46 = 276

Extended Euclidean algorithm

r = 276, t = 0
r = 7, q = 39, t = 1
r = 3, q = 2, t = −39
r = 1, q = 3, t = 79

Private exponent

d = 79
check: 7·79 = 553 = 2·276 + 1

Answer

d = 79

ExamProblems · examproblems.com/courses/discrete-mathematics