Anna University, Chennai, November/December 2012

Similar documents
Tutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement

MA Discrete Mathematics

Simplification by Truth Table and without Truth Table

Simplification by Truth Table and without Truth Table

Simplification by Truth Table and without Truth Table

1. a. Give the converse and the contrapositive of the implication If it is raining then I get wet.

VALLIAMMAI ENGINEERING COLLEGE SRM Nagar, Kattankulathur

Unit I (Logic and Proofs)

SRI VENKATESWARA COLLEGE OF ENGINEERING AND TECHNOLOGY MA DISCRETE MATHEMATICS

B.E./B.Tech. DEGREE EXAMINATION, NOVEMBER/DECEMBER Fifth Semester. Computer Science and Engineering MA 2265 DISCRETE MATHEMATICS

MaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS

NORTHERN INDIA ENGINEERING COLLEGE, LKO D E P A R T M E N T O F M A T H E M A T I C S. B.TECH IIIrd SEMESTER QUESTION BANK ACADEMIC SESSION

software design & management Gachon University Chulyun Kim

DEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics


B B3B037 Total Pages:3

Discrete Structures of Computer Science Propositional Logic III Rules of Inference

Rules Build Arguments Rules Building Arguments

Discrete Mathematics Logics and Proofs. Liangfeng Zhang School of Information Science and Technology ShanghaiTech University

MATH1240 Definitions and Theorems

Introduction Logic Inference. Discrete Mathematics Andrei Bulatov

COMP 182 Algorithmic Thinking. Proofs. Luay Nakhleh Computer Science Rice University

Answer: A. Answer: C. 3. If (G,.) is a group such that a2 = e, a G, then G is A. abelian group B. non-abelian group C. semi group D.

Sets and Motivation for Boolean algebra

Methods of Proof. 1.6 Rules of Inference. Argument and inference 12/8/2015. CSE2023 Discrete Computational Structures

CS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1)

REVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms

Boolean Algebra and Proof. Notes. Proving Propositions. Propositional Equivalences. Notes. Notes. Notes. Notes. March 5, 2012

Review. Propositions, propositional operators, truth tables. Logical Equivalences. Tautologies & contradictions

Packet #1: Logic & Proofs. Applied Discrete Mathematics

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics

ECOM Discrete Mathematics

Predicate Logic. Andreas Klappenecker

Why Learning Logic? Logic. Propositional Logic. Compound Propositions

Chapter 1, Logic and Proofs (3) 1.6. Rules of Inference

1 The Foundation: Logic and Proofs

Intro to Logic and Proofs

Math Final Exam December 14, 2009 Page 1 of 5

CS 2740 Knowledge Representation. Lecture 4. Propositional logic. CS 2740 Knowledge Representation. Administration

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Unit I LOGIC AND PROOFS. B. Thilaka Applied Mathematics

Logic, Sets, and Proofs

Logic and Proofs. (A brief summary)

Reexam in Discrete Mathematics

1 The Foundation: Logic and Proofs

CSCE 222 Discrete Structures for Computing. Predicate Logic. Dr. Hyunyoung Lee. !!!!! Based on slides by Andreas Klappenecker

Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014

Sec$on Summary. Valid Arguments Inference Rules for Propositional Logic. Inference Rules for Quantified Statements. Building Arguments

UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc (MATHEMATICS) I Semester Core Course. FOUNDATIONS OF MATHEMATICS (MODULE I & ii) QUESTION BANK

Discrete Mathematics. Benny George K. September 22, 2011

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide

CS 250/251 Discrete Structures I and II Section 005 Fall/Winter Professor York

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!!

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations

Rules of Inference. Arguments and Validity

Tribhuvan University Institute of Science and Technology Micro Syllabus

Readings: Conjecture. Theorem. Rosen Section 1.5

KS MATEMATIKA DISKRIT (DISCRETE MATHEMATICS ) RULES OF INFERENCE. Discrete Math Team

CS 2336 Discrete Mathematics

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

2. Use quantifiers to express the associative law for multiplication of real numbers.

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)

Propositional Logic. What is discrete math? Tautology, equivalence, and inference. Applications

Review: Potential stumbling blocks

Knowledge Representation. Propositional logic

Agenda. Introduction to Proofs Dr Patrick Chan School of Computer Science and Engineering South China University of Technology

DISCRETE MATH: FINAL REVIEW

The Logic of Compound Statements cont.

Part I: Propositional Calculus

CSE 1400 Applied Discrete Mathematics Proofs

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

UNIT-I. Mathematical Logic

Question 1 (a). Explain different logical connectives with the help of examples. Ans: Logical Connectivity:-

Logic and Proofs. (A brief summary)

Sec$on Summary. Valid Arguments Inference Rules for Propositional Logic. Inference Rules for Quantified Statements. Building Arguments

Mathematical Reasoning Rules of Inference & Mathematical Induction. 1. Assign propositional variables to the component propositional argument.

Discrete Mathematical Structures: Theory and Applications

CHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic

FUNCTORS AND ADJUNCTIONS. 1. Functors

CS Discrete Mathematics Dr. D. Manivannan (Mani)

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Algebraic structures I

Disjunction/Conjunction Normal Form

Steinhardt School of Culture, Education, and Human Development Department of Teaching and Learning. Mathematical Proof and Proving (MPP)

Chapter 1 : The language of mathematics.

Normal Forms Note: all ppts about normal forms are skipped.

ACO Comprehensive Exam March 17 and 18, Computability, Complexity and Algorithms

Classify, graph, and compare real numbers. Find and estimate square roots Identify and apply properties of real numbers.

Notation Index. gcd(a, b) (greatest common divisor) NT-16

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

The Foundations: Logic and Proofs. Chapter 1, Part III: Proofs

2. The Logic of Compound Statements Summary. Aaron Tan August 2017

CSCI-2200 FOUNDATIONS OF COMPUTER SCIENCE

ANNIHILATOR IDEALS IN ALMOST SEMILATTICE

LATTICE AND BOOLEAN ALGEBRA

Chapter 4, Logic using Propositional Calculus Handout

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

Transcription:

B.E./B.Tech. DEGREE EXAMINATION, NOVEMBER/DECEMBER 2012 Fifth Semester Computer Science and Engineering MA2265 DISCRETE MATHEMATICS (Regulation 2008) Part - A 1. Define Tautology with an example. A Statement that is true for all possible values of its propositional variables is called a tautology. (P Q) (Q P) is a tautology. 2. Define a rule of universal specification. Answer: From (x) A(x) one can conclude A(y). If (x) A(x) is true for every element x in the universe, then A(y) is true. x A x A(y) 3. State pigeonhole principle. If k pigeons are assigned to n pigeonholes and n < k then there is at least one pigeonhole containing more than one pigeons. 4. Solve a k = 3a k 1, for k 1, with a 0 = 2. Let G x = k=0 a k x k = a 0 + a 1 x + a 2 x 2 + 1 where G x is the generating function for the sequence a n. Given a k = 3a k 1 3a k 1 a k = 0 Multiplying by x k and summing from 1 to, we have 3 a k 1 x k k=1 3x k=1 k=1 a k 1 x k 1 a k x k k=1 = 0 a k x k = 0 3x a 0 + a 1 x + a 2 x 2 + a 1 x + a 2 x 2 + = 0 3xG x G x a 0 = 0 [from 1 ] G x 3x 1 2 = 0 2 G x = (3x 1) = 2 1 3x k=0 a k x k = 2 3 k x k k=0 a k = Coefficient of x k in G(x) 1 1 x = xn n=0 www.tranquileducation.weely.com 1

a k = 2 3 n 5. Define a regular graph. Can a complete graph be a regular graph? Ans: A graph is said to be regular if all the vertices are of same degree. Yes a complete graph is always a regular graph. 6. State the handshaking theorem. If G V, E is an undirected graph with e edges, then i deg v i = 2e. 7. Prove that the identity of a subgroup is the same as that of the group. Let e 1 be the identity element of a group G and H be the subgroup of G. Let us assume that e 2 e 1 be the identity element of H. Since H G, e 2 G which is a contradiction since in a group, identity element is unique. Our assumption is wrong. e 1 = e 2. 8. State Lagrange s theorem in δ group theory. An order of a subgroup H of a group G divides the order of the group G. 9. When is a lattice said to be bounded? A lattice having least and greatest element is called a bounded lattice. 10. When is a lattice said to be a Boolean Algebra? A complemented distributive lattice is called a Boolean Algebra. Part - B 11. a)i) Show that P Q R and P Q P R are logically equivalent. To prove: S: P Q R P Q P R is a tautology. P Q R Q R P Q R P Q P R P Q P R S T T T T T T T T T T F T F T T T T T F T T T T T T T T F F T F F F T F T T T F F T T T T T T F F F T T T T T F T F F F T F F T F F F F F F F F T www.tranquileducation.weely.com 2

Since all the values in last column are true. P Q R P Q P R is a tautology. P Q R P Q P R ii) Show that the hypothesis, It is not sunny this afternoon and it is colder than yesterday, we will go swimming only if it is sunny, If we do not go swimming, then we will take a canoe trip and If we take a canoe trip, then we will be home by sunset lead to the conclusion We will be home by sunset. Let S represents it is sunny this afternoon. Let C represents it is colder than yesterday. Let W represents we will go swimming. Let T r represents we will take a canoe trip. Let H represents we will be home by sunset. The inference is S C, W S, W T r, T r H H 1. S C Rule P 2. W S Rule P 3. W T r Rule P 4. T r H Rule P 5. S Rule T, 1, P Q P 6. W Rule T, 5,2, Modus tollens 7. T r Rule T, 6,3, Modus pones 8. H Rule T, 7,4, Modus pones b) i) Find the principal disjunctive normal form of the statement q p r p r q. Let S q p r p r q. q p r p r q q p r p r q q p q r p q r q q p F F q r p q F F r q q p r r p p q r p q r r p p r q q p r q p r p q r p q r p q r p q r p r q p r q q p r p q r p q r p q r p q r p r q p q r p q r p q r p q r p q r p q r wic is a PCNF S remaining max terms in S S p q r p q r S p q r p q r S p q r p q r wic is PDNF. S p q r p q r ii) By indirect method prove that (x) (P(x) Q(x)), ( x)p(x) ( x)q(x) www.tranquileducation.weely.com 3

Let us assume that ( x)q(x) as additional premise 1. ( x)q(x) Additional premise 2. x Q x Rule T, 1, De Morgan s law 3. Q a Rule T, 2, US 4. ( x)p(x) Rule P 5. P a Rule T, 4, ES 6. P a Q a Rule T, 5,3 and conjuction 7. P a Q a Rule T, 6, De Morgan s law 8. P a Q a Rule T, 7, Equivalence 9. x P x Q x Rule P 10. P a Q a Rule T, 9, US 11. P a Q a P a Q a Rule T, 8,10 and conjuction 12. F Rule T, 11 and negation law 12.a)i) Use mathematical induction to prove the inequality n < 2 n for all positive integer n. Proof: Let P n : n < 2 n (1) P 1 : 1 < 2 1 1 < 2 P(1) is true. Let us assume that P(n) is true. Now we have to prove that P(n + 1) is true. To prove: n +1 P n + 1 : n + 1 < 2 n < 2 n (from 1 ) n + 1 < 2 n + 1 n + 1 < 2 n + 2 n 1 < 2 n P n + 1 is true. By induction method, n + 1 < 2.2 n n +1 n + 1 < 2 P n : n < 2 n is true for all positive integers. ii) What is the maximum number of students required in a discrete mathematics class to be sure that at least six will receive the same grade if there are five possible grades A, B, C, D and F. By Pigeonhole principle, If there are n holes and k pigeons n k then there is at least one hole contains at least k 1 + 1 pigeons. n Here n = 5 k 1 + 1 = 6 5 k 1 = 5 k 1 = 25 k = 26 5 The maximum number of students required in a discrete mathematics class is 26. b)i) Suppose that there are 9 faculty members in the mathematics department and 11 in the computer science department. How many ways are there to select a committee to develop a discrete www.tranquileducation.weely.com 4

mathematics course at a school if the committee is to consist of three faculty member from mathematics department and four from the computer science department? The number of ways to select 3 mathematics faculty members from 9 faculty members is 9C 3 ways. The number of ways to select 4 computer Science faculty members from 11 faculty members is 11C 4 ways. The number of ways to select a committee to develop a discrete mathematics course at a school if the committee is to consist of three faculty member from mathematics department and four from the computer science department is 9C 3. 11C 4 ways. 9C 3. 11C 4 = 9 8 7. 3! 11 10 9 8 4! = 27720 ii) Using method of generating function to solve the recurrence relation a n + 3a n 1 4a n 2 = 0; n 2, given that a 0 = 3 and a 1 = 2. Let G x = n=0 a n x n = a 0 + a 1 x + a 2 x 2 + 1 where G x is the generating function for the sequence a n. Given a n + 3a n 1 4a n 2 = 0 Multiplying by x n and summing from 2 to, we have n=2 n=2 a n x n + 3 a n 1 x n 4 n=2 n=2 a n x n + 3x a n 1 x n 1 4x 2 n =2 a n 2 x n = 0 n =2 a n 2 x n 2 = 0 a 2 x 2 + a 3 x 3 + a 4 x 4 + + 3x a 1 x + a 2 x 2 + 4x 2 a 0 + a 1 x + a 2 x 2 + = 0 G x a 0 a 1 x + 3xG x 3xa 0 4x 2 G x = 0 [from 1 ] G x 1 + 3x 4x 2 3 + 2x 9x = 0 G x 1 + 3x 4x 2 = 3 7x 3 7x G x = 1 + 3x 4x 2 = 3 7x 1 + 4x 1 x 3 7x 1 + 4x 1 x = A 1 + 4x + B 1 x 3 7x = A 1 x + B 1 + 4x 2 Put x = 1 in (2) 4 3 7 1 4 = A 1 + 1 4 5 4 A = 3 + 7 4 A = 19 5 Put x = 1 in (2) 3 7 = B 1 + 4 5B = 4 B = 4 5 www.tranquileducation.weely.com 5

G x = 19 5 1 + 4x 4 5 1 x n=0 a n x n = 19 5 n=0 4 n x n 4 5 a n = Coefficient of x n in G(x) n =0 x n 1 1 x = xn n=0 a n = 19 5 4 n 4 5 13. a)i) How many paths of length four are there from a to d in the simple graph G given below. a b The adjacency matrix for the given graph is a b c d a 0 1 0 1 b 1 0 1 0 A = c 0 1 0 1 d 1 0 1 0 c d A 2 = A 4 = a b c d a b c d a b c d 2 0 2 0 0 2 0 2 2 0 2 0 0 2 0 2 a b c d 8 0 8 0 0 8 0 8 8 0 8 0 0 8 0 8 Since the value in the a t row and d t column in A 4 is 0. There is no path from a to d of length 4. ii) Show that the complete graph with n vertices K n has a Hamiltonian circuit whenever n 3. Proof: In a complete graph K n, every vertex is adjacent to every other vertex in the graph. www.tranquileducation.weely.com 6

Therefore a path can be formed starting from any vertex and traverse through all the vertices of K n and reach the same vertex to form a circuit without traversing through any vertex more than once except the terminal vertex. This circuit is called the Hamiltonian circuit. The complete graph with n vertices K n has a Hamiltonian circuit whenever n 3. b) i) Determine whether the graphs G and Hgiven below are isomorphic. a b p q e f u r d The two graphs Gand H have same number of vertices and same number of edges. deg a = 2, deg b = 3, deg c = 2, deg d = 3, deg e = 2, deg f = 2 deg p = 2, deg q = 2, deg r = 3, deg s = 2, deg t = 3, deg u = 2 Here in both the graphs two vertices are of degree three and remaining vertices are of degree two. The mapping between two graphs are a u, b r, c s, d t, e p and f q. There is one to one correspondence between the adjacency of the vertices between the two graphs. Therefore the two graphs are isomorphic. ii) Prove that an undirected graph has an even number of vertices of odd degree. Proof: By Handshaking theorem, we know that If the graph G has n vertices and e edges then n i=1 were even G deg v i = 2e odd odd deg v i deg v i deg v i c n i=1 deg v i = even number + deg v i = even number even is sum of vertices wit odd degree is sum of vertices wit even degree t H s odd ( Since sum of even numbers is an even number) deg v i + even number = even number odd deg v i = even number www.tranquileducation.weely.com 7

Sum of even number of odd numbers is an even number. An undirected graph has an even number of vertices of odd degree. 14.a)i) If is the operation defined on S = Q Q, the set of ordered pairs of rational numbers and givenby a, b x, y = ax, ay + b,show that S, is a semi group. Is it commutative? Also find the identity element of S. Closure: a, b, x, y S a, b x, y = ax, ay + b S ax Q and ay + b Q, a, b, x, y Q a, b x, y S a, b, x, y S a, b x, y S S is closed under. Associative: a, b, x, y, (u, w) S a, b x, y u, v = a, b xu, xv + y = axu, a xv + y + b = axu, axv + ay + b (1) a, b x, y u, v = ax, ay + b u, v = axu, axv + ay + b (2) From (1) and (2), we get a, b x, y u, v = a, b x, y u, v S satisfies associative property under. Identity: Let e 1, e 2 S be the identity element. Then a, b e 1, e 2 = e 1 e 2 a, b = a, b, a, b S a, b e 1, e 2 = a, b ae 1, ae 2 + b = a, b ae 1 = a, ae 2 + b = b e 1 = 1, ae 2 = 0 e 1 = 1, e 2 = 0 1,0 = S 1,0 S is the identity element. S is a semi group under. a, b, x, y S, a, b x, y = ax, ay + b 3 x, y a, b = xa, xb + y 4 From (3) and (4), we get a, b x, y x, y a, b S is not commutative under. ii) Prove that the necessary and sufficient condition for a non empty subset H of a group G, to be a subgroup is a, b H a b 1 H. Proof: Necessary condition: Let us assume that His a subgroup of G. H itself is a group. www.tranquileducation.weely.com 8

a, b H a b H 1 Closure b H b 1 H (2) Inverse property a, b H a, b 1 H a b 1 H from 1 and 2 a, b H a b 1 H. Sufficient condition: Let a, b H a b 1 H and H is a subset of G. Closure property: If b H b 1 H a, b H a, b 1 H a b 1 1 H a b H a, b H a b H Hence H is closed. Associative property: H is a subset of G. All the elements in H are elements of G. Since G is associative under. H is associative under. Identity property: a, a H a a 1 H e H e H be the identity element. Inverse property: e, a H e a 1 H a 1 H a 1 H be the inverse of a H. H itself is a group. H is a subgroup of G. b) i) Prove that the set Z 4 = 0, 1, 2, [3] is a commutative ring with respect to the binary operation addition modulo and multiplication modulo + 4, 4. The Cayley table for Z 4, + 4 and Z 4, 4 is given below + 4 [0] [1] [2] [3] 4 [0] [1] [2] [3] [0] [0] [1] [2] [3] [0] [0] [0] [0] [0] [1] [1] [2] [3] [0] [1] [0] [1] [2] [3] [2] [2] [3] [0] [1] [2] [0] [2] [0] [2] [3] [3] [0] [1] [2] [3] [0] [3] [2] [1] From the above Cayley table, we observe that All the elements in the table is also an element in Z 4 under + 4. Z 4 is closed under binary operation + 4. It is clear from the table that Z 4 is associative under + 4. Here 0 Z 4 is the identity element. The inverse of 0, 1, [2] and [3] are 0, 3, 2 and [1] respectively. It is clear from the table that Z 4 is commutative under + 4. All the elements in the table is also an element in Z 4 under 4. Z 4 is closed under binary operation 4. It is clear from the table that Z 4 is associative under 4. www.tranquileducation.weely.com 9

It is clear from the table that Z 4 is commutative under 4. Z 4, + 4, 4 is a commutative ring. ii) If f: G G is a group homomorphism from G, to G, Δ then prove that for any a G, f a 1 = f a 1. Since f is a group homomorphism. a, b G, f a b = f a Δ f b Since G is a group, a G a 1 G. f a Δ f(a 1 ) = f(a a 1 ) f a Δ f(a 1 ) = f(e) f a Δ f a 1 = e were e is te identity element in G The inverse of f a is f a 1. f a 1 = f(a 1 ) 15. a)i) Draw the Hasse diagram representing the partial ordering A, B : A B on the power set P(S) Where S = a, b, c. Find the maximal, minimal, greatest and least elements of the Poset. {a, b, c} {a, b} {a, c} {b, c} {a} {b} {c} The minimal element is φ The maximal element is a, b, c The least element is φ The greatest element is a, b, c ii) In a Boolean algebra, prove that a. a + b = a, for all a, b G. We know from the definition of GLB and LUB a. b a 1 a + b a 2 a. a + b a 3 from 1 a. a + b = a. a + a. b a. a + b = a + a. b a from (2) www.tranquileducation.weely.com 10

From (3) and (4), we get a. a + b a 4 a. a + b = a b) i) In a distributive Lattice L,, if an element a L has a complement then it is unique. Let b and c be the complement of a L b = b 1 b = b a c a c = 1 b = b a b c Distributive law b = 0 b c a b = 0 b = b c (1) a 0 = a c = 1 c c = a b c a b = 1 c = a c b c Distributive law c = 0 b c a c = 0 c = b c (2) a 0 = a From (1) and (2), we get b = c In a distributive Lattice L,, if an element a L has a complement then it is unique. ii) Simplify the Boolean expression a. b. c + a. b. c + a. b. c using Boolean algebra identities. a. b. c + a. b. c + a. b. c = a + a. b. c + a. b. c Distributive law = 1. b. c + a. b. c a + a = 1 = b. c + a. b. c 1. a = a = b. c + b. a. c a. b = b. a = b. c + a. c Distributive law = b. c + a. c + c Distributive law = b. c + a. 1 a + a = 1 = b. c + a 1. a = a = b. c + b. a Distributive law www.tranquileducation.weely.com 11