Unit 3
Unit 3
Unit: 3
Discrete Mathematics
• Video links
• Daily Quiz
• Weekly Assignment
• MCQ
• Old Question papers
• Expected Question for University Exam
• Summary
• References.
• The subject enhances one’s ability to develop logical thinking and ability to
problem solving.
• Demonstrate the ability to write and evaluate a proof or outline the basic
structure of and give examples of each proof technique described.
• Apply logical reasoning to solve a variety of problems.
• Use Mathematically correct terminology and notation.
• A Set is a collection of elements. The elements that make up a set can be any kind
of mathematical objects: numbers, symbols, points in space, lines, other
geometrical shapes, variables, or even other sets.
• Example: A collection of natural numbers, as in, N = {1,2,3,4,5...}.
• Reflexive Relation:
A relation R, over a set A, is reflexive if every element of the set is 'related' to itself.
Let's consider set A as follows:
A = {p,q,r}
Therefore, A*A = {(p,p),(p,q),(p,r),(q,p),(q,q),(q,r),(r,p),(r,q),(r,r)}
Then the reflexive pairs in A*A would be all the diagonal elements of the
matrix
i.e. {(p,p),(q,q),(r,r)} as every element relates to itself.
a b
Note:
a b •A relation can be both symmetric and
antisymmetric.
• A relation can be neither symmetric nor
antisymmetric.
a b
To further simplify the graph omit the self-loops and transitive edges in order to avoid repetition.
The simplified graph would then look like this:
Example: Determine all the maximal and minimal elements of the poset whose Hasse
diagram is shown in fig:
The maximal elements are b and f.
Example: Consider the set A = {4, 5, 6, 7}. Let R be the relation ≤ on A. Draw the directed graph and the
Hasse diagram of R.
Solution: The relation ≤ on the set A is given by
R = {{4, 5}, {4, 6}, {4, 7}, {5, 6}, {5, 7}, {6, 7}, {4, 4}, {5, 5}, {6, 6}, {7, 7}}
•Upper Bound: Consider B be a subset of a partially ordered set A. An element x ∈ A is called an upper
bound of B if y ≤ x for every y ∈ B.
•Lower Bound: Consider B be a subset of a partially ordered set A. An element z ∈ A is called a lower
bound of B if z ≤ x for every x ∈ B.
Example: Consider the poset A = {a, b, c, d, e, f, g} be ordered shown in fig. Also let B = {c, d, e}.
Determine the upper and lower bound of B.
Solution:
The upper bound of B is e, f, and g because every element of B is '≤'
e, f, and g.
The lower bounds of B are a and b because a and b are '≤' every
elements of B.
•Describe the operation of and construct the truth tables for the AND, NAND, OR, and
NOR gates, and the NOT (INVERTER) circuit.
•Implement logic circuits using basic AND, OR, expression for the logic gates and
combinations of logic gates. and NOT gates.
•Appreciate the potential of Boolean algebra to simplify complex logic expressions.
• Boolean algebra is mainly use for simplify and manipulate electronic logic
circuits in computers.
B = non-empty set
• Truth Table -It is a tabular representation of all the combination of values for input and their
corresponding outputs.
=A.B
=A+B
=A’
If a, b, c ∈ B, then
1. Closure Law
i. a + b ∈ B ii. a.b ∈ B
2. Commutative Law
i. a + b = b + a ii. a.b = b.a
3. Distributive Law
i. a.(b + c) = a.b + a.c ii. a + (b.c) = (a + b).(a + c)
4. Identity Law
i. a + 0 = a ii. a.1 = a
5. Complement Law
i. a + a’ = 1 ii. a.a’ = 0
6. Idempotent Law
i. a+a=a ii. a.a = a
7. Boundness Law
i. a+1=1 ii. a.0 = 0
8. Absorption Law
i. a + a.b = a ii. a.(a + b) = a
9. Associative Law
i. a + (b + c) = (a + b) + c ii. a.(b.c) = (a.b).c
1.
(Complement law)
(Distributive law)
(Complement law)
(Identity law)
(Complement law)
• Computer carries out all operations by the combination of signals that pass
through standard blocks of built-in circuits.
• Logic gate is an elementary building block of digital electronic circuits that
operates one or more input signals to produce standard output.
• The common use of logic gate elements is to act as switch.
• In computer logic gates are use to implement Boolean functions.
OR Gate
NOT Gate
Input Output
A A’ or Ā
0 1
1 0
Prerequisite
• Boolean functions.
• Binary logic.
• SOP form
• POS form
Recap
• K-map is a graphical representation to solve the Boolean functions to
reduce redundancy. It is easy to find the minimized expression of lengthy
Boolean functions using K-maps.
BC
00 01 11 10
A
0 0 1 3 2
1 4 5 7 6
B
0 1
A
0 0 1
1 2 3
B
0 1
A
0
1
BC
00 01 11 10
A
0 0 1 3 2
1 4 5 7 6
BC
00 01 11 10
A
0 0 1 3 2
1 4 5 7 6
BC
00 01 11 10
A
0 0 1 3 2
1 4 5 7 6
CD
00 01 11 10
AB
00 0 1 3 2
01 4 5 7 6
11 12 13 15 14
10 8 9 11 10
AB 00 01 11 10
00 0 1 3 2
01 4 5 7 6
11 12 13 15 14
10 8 9 11 10
CD
AB 00 01 11 10
00 0 1 3 2
01 4 5 7 6
11 12 13 15 14
10 8 9 11 10
6. A Poset in which every pair of elements has both a least upper bound and a greatest lower bound is
termed as _______
a) sublattice
b) lattice
c) trail
d) walk
09/18/22 Kajol Kathuria Unit 3 67
Daily Quiz (CO1)
7. Which of the following is a Simplification law?
a) M.(~M+N) = M.N
b) M+(N.O) = (M+N)(M+O)
c) ~(M+N) = ~M.~N
d) M.(N.O) = (M.N).O
13. Inversion of single bit input to a single bit output using _________
a) NOT gate
b) NOR gate
c) AND gate
d) NAND gate
16. The set for which the Boolean function is functionally complete is __________
a) {*, %, /}
b) {., +, -}
c) {^, +, -}
d) {%, +, *}
19. In the poset (Z+, |) (where Z+ is the set of all positive integers and | is the divides relation) are the integers
9 and 351 comparable?
a) comparable
b) not comparable
c) comparable but not determined
d) determined but not comparable
Reference Books:
1. Liptschutz, Seymour, “ Discrete Mathematics”, McGraw Hill.
2. Trembley, J.P & R. Manohar, “Discrete Mathematical Structure with Application to Computer
Science”, McGraw Hill.
3. Narsingh Deo, “Graph Theory With application to Engineering and Computer Science.”, PHI.
4. Krishnamurthy, V., “Combinatorics Theory & Application”, East-West Press Pvt. Ltd., New
Delhi
• Logic circuits can be built for any binary electric or electronic devices
including switches, relays, electron tubes and transistors.
• The subject enhances one’s ability to develop logical thinking and ability
to problem solving.