Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd
Upload
41 views

Lecture 2 - Propositional Equivalence

This document is a lecture outline on propositional equivalence in discrete mathematics. It covers logical equivalence generally and through truth tables, algebra, and putting propositions in disjunctive normal form. Examples are provided to show logical equivalence using truth tables and algebraic manipulations of propositions.

Uploaded by

Aarif
Copyright
© © All Rights Reserved
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
41 views

Lecture 2 - Propositional Equivalence

This document is a lecture outline on propositional equivalence in discrete mathematics. It covers logical equivalence generally and through truth tables, algebra, and putting propositions in disjunctive normal form. Examples are provided to show logical equivalence using truth tables and algebraic manipulations of propositions.

Uploaded by

Aarif
Copyright
© © All Rights Reserved
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 10

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

You might also like