MTH 2204 – Discrete Mathematics

Lecture 2 - Propositional Equivalence

-Aarif Baksh

1
 Outline

2.1. Logical Equivalence - General

2.2. Logical Equivalence – Truth Table

2.3. Logical Equivalence – Algebra

2.4. Logical Equivalence – Disjunctive Normal Form

2
2.1. Logical Equivalence – General

3
 2.2. Logical Equivalence – Truth Table
 
Q. Show that

T T F F T T

F T F F T T

T F T T F F

F F T F T T

4
2.3. Logical Equivalence – Algebra

5
2.3. Logical Equivalence – Algebra

6
 2.3. Logical Equivalence – Algebra
 
Q. Show that

7
 2.3. Logical Equivalence – Algebra
 
Q. Show that:

8
 2.3. Logical Equivalence – Algebra
 
Q. Show that

9
 2.4. Logical Equivalence – Disjunctive Normal Form
 
Q. Find an equivalent proposition for

10