Unit i) 1)verify that [p->(q->r)] -> [(p->q)->(p->r)] is a tautology or not? 2) simplify the Boolean expression xy+(x+y) + y

Similar documents
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

Unit I (Logic and Proofs)

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

MA Discrete Mathematics

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

Simplification by Truth Table and without Truth Table

Packet #1: Logic & Proofs. Applied Discrete Mathematics

Simplification by Truth Table and without Truth Table

Simplification by Truth Table and without Truth Table

(c) Give a proof of or a counterexample to the following statement: (3n 2)= n(3n 1) 2

B B3B037 Total Pages:3

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

DISCRETE STRUCTURES AMIN WITNO

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

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60

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

Exam Practice Problems

Boolean Algebra. Philipp Koehn. 9 September 2016

Tribhuvan University Institute of Science and Technology Micro Syllabus

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

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

STUDY GUIDE FOR THE WRECKONING. 1. Combinatorics. (1) How many (positive integer) divisors does 2940 have? What about 3150?

University of California, San Diego Department of Computer Science and Engineering CSE 20. Solutions to Midterm Exam Winter 2018

Lecture 7 Cyclic groups and subgroups

Propositional Logic. Testing, Quality Assurance, and Maintenance Winter Prof. Arie Gurfinkel

Anna University, Chennai, November/December 2012

02 Propositional Logic

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

Discrete Mathematics. Benny George K. September 22, 2011

CSE20: Discrete Mathematics for Computer Science. Lecture Unit 2: Boolan Functions, Logic Circuits, and Implication

CS/IT OPERATING SYSTEMS

Section 1.2 Propositional Equivalences. A tautology is a proposition which is always true. A contradiction is a proposition which is always false.

Discrete Mathematics Fall 2018 Midterm Exam Prof. Callahan. Section: NetID: Multiple Choice Question (30 questions in total, 4 points each)

Propositional Logic Basics Propositional Equivalences Normal forms Boolean functions and digital circuits. Propositional Logic.

Bachelor s Degree Programme Discrete Mathematics (Valid from 1st January, 2013 to 31st December, 2013.)

Tecniche di Verifica. Introduction to Propositional Logic

MODERN APPLIED ALGEBRA

MATH 2200 Final Review

B.C.S.Part I Mathematics (Sem.- I & II) Syllabus to be implemented from June 2013 onwards.

Lecture #14: NP-Completeness (Chapter 34 Old Edition Chapter 36) Discussion here is from the old edition.

AMTH140 Trimester Question 1. [8 marks] Answer

Mathematics for Computer Science MATH 1206C [P.T.O] Page 1 of 5

Automata Theory CS Complexity Theory I: Polynomial Time

CSE 321 Solutions to Practice Problems

Logic and Proofs. (A brief summary)

(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition.

MATH 2200 Final LC Review

Exam in Discrete Mathematics

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points

MATH1240 Definitions and Theorems

Math161 HW#2, DUE DATE:

CS 320, Fall Dr. Geri Georg, Instructor 320 NP 1

Logic and Proofs. (A brief summary)

and e 2 ~ e 2 iff e 1

Proofs. Joe Patten August 10, 2018

Comp487/587 - Boolean Formulas

Complexity, P and NP

CSE 20 DISCRETE MATH WINTER

Algebraic Structures Exam File Fall 2013 Exam #1

Propositional Logic and Semantics

1. Prove: A full m- ary tree with i internal vertices contains n = mi + 1 vertices.

BASIC GRAPH THEORY. SUB CODE: 09MAT01 Total hours 52

HOMEWORK #2 - MATH 3260

MATH 363: Discrete Mathematics

Exercise Set 1 Solutions Math 2020 Due: January 30, Find the truth tables of each of the following compound statements.

7.11 A proof involving composition Variation in terminology... 88

Solutions to Homework I (1.1)

What you learned in Math 28. Rosa C. Orellana

Boolean Algebra, Gates and Circuits

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007)

LATTICE BASIS AND ENTROPY

Graduate Algorithms CS F-21 NP & Approximation Algorithms

Propositional Calculus: Formula Simplification, Essential Laws, Normal Forms

Lecture 4. 1 Circuit Complexity. Notes on Complexity Theory: Fall 2005 Last updated: September, Jonathan Katz

Conjunction: p q is true if both p, q are true, and false if at least one of p, q is false. The truth table for conjunction is as follows.

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

INSTITUTE OF AERONAUTICAL ENGINEERING (Autonomous) Dundigal, Hyderabad

Algorithms and Complexity Theory. Chapter 8: Introduction to Complexity. Computer Science - Durban - September 2005

MATH 61-02: PRACTICE PROBLEMS FOR FINAL EXAM

Maximum 3-SAT as QUBO

software design & management Gachon University Chulyun Kim

The Calculus of Computation: Decision Procedures with Applications to Verification. Part I: FOUNDATIONS. by Aaron Bradley Zohar Manna

CSC 2429 Approaches to the P vs. NP Question and Related Complexity Questions Lecture 2: Switching Lemma, AC 0 Circuit Lower Bounds

CS1021. Why logic? Logic about inference or argument. Start from assumptions or axioms. Make deductions according to rules of reasoning.

Automata Theory for Presburger Arithmetic Logic

Computation and Logic Definitions

Discrete Mathematics (CS503)

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis

Algorithms: COMP3121/3821/9101/9801

May 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work.

Reduced Ordered Binary Decision Diagrams

EECS 219C: Computer-Aided Verification Boolean Satisfiability Solving III & Binary Decision Diagrams. Sanjit A. Seshia EECS, UC Berkeley

Reexam in Discrete Mathematics

A brief introduction to Logic. (slides from

Name :. Roll No. :... Invigilator s Signature :.. CS/B.TECH (NEW)(CSE/IT)/SEM-4/M-401/ MATHEMATICS - III

CS206 Lecture 03. Propositional Logic Proofs. Plan for Lecture 03. Axioms. Normal Forms

VIII. NP-completeness

AAA615: Formal Methods. Lecture 2 First-Order Logic


Transcription:

Unit i) 1)verify that [p->(q->r)] -> [(p->q)->(p->r)] is a tautology or not? 2) simplify the Boolean expression xy+(x+y) + y 3)find a minimal sum of product representation f(w,x,y)= m(1,2,5,6) 4)simplify the expression 5) Negate and simplify x [p(x) V q (x) ] Unit II) 6) if n is +ve integer prove that 1.2 + 2.3 + 3.4 +..+n(n+1)= n(n+1)(n+2) / 3 using mathematical induction 7) determine the sequence generated by the generating function f(x) / (1-x) 8) let A={1,2,3,4} B={1,2,3,4,5,6} How many functions are there from f: A-> B How many functions are there from A-> B are one to one How many functions are there from B-> A? how many of these are onto? 9)State and prove Euclidean algorithm? 10)s.t if 8 people are in a room at least 2 of them have birthdays that occur on the same day of the week. Unit iii) 11) In how many ways 5 number of a s 4 number of b s and 3 number of c s can be arranged so that all the identical letters are not in a single block? 12) ) How many derangements are there for 1,2,3,4,5? 13) determine the number of +ve integers n where 1 n 2000 that are i) not divisible by 2, 3, or 5 ii) not divisible by 2,3,5 or 7 iii) not divisible by 2,3,5 but are divisible by 7 14) find how many integer solutions there are to x 1+ x 2+ x 3 + x 4 = 19 if i) 0 x i ii)

15) in how many ways one can arrange the letters in the word INFORMATION so that no pair of consecutive letters occurs more than once? Unit IV) 15) Solve the recurrence relation = 0 where n 0 and a 0 =4, a1 =13 16) Write short notes on divide and conquer algorithm. explain binary search examples? 17)define the terms Homomorphism, Isomorphism? 18) Find the general solution for the recurrence relation 4 a n 5 a n = 0, n 1 Unit V ) 19) define the terms complete graph, planar graph, regular graph, walk, path, circuit, cycle, spanning tree, sub graph 20) How many sub graph H=(V,E) of k6 satisfy v = 4? 21)if a tree has 4 vertices of degree 2, one vertex of degree 3, two of degree 4 and one of degree 5 how many pendent vertices does it have? 22) What is minimal spanning tree? Explain the kruskals algorithm with example? 23) prove that every subgroup of a cyclic group is cyclic.

CHAITANYA BHARATHI INSTITUTE OF TECHNOLOGY BRANCH: M.C.A ANNUAL EXAMINATION year/sem : I/I SUBJECT: DISCRETE MATHEMATICS(CBCA 101) TIME: 3 HRS TOTAL MARKS: 75- ------------------------------------------------------------------------------------------------------------------------------------------ Answer any 5 questions from 5X15=75 1 Answer all questions 5X3=15 a) Construct the truth table for [(p->q)^(q->r)]->(p->r) and verify it is a tautology or not? b) let A={1,2,3,4} and B={1,2,3,4,5,6} How many functions are there from A to B? How many of these are One-to-One? c) Find the coefficient of X 5 in (1-2x) -7 d) Write short notes on Divide And Conquer algorithm? e) State and prove EULER S formula 2 a) Find the minimal product of sums of a function g(w,x,y,z)= M(1,5,7,9,10,13,14,15) Using k-map b) Simplify the expression (AUB) C U B 7M 3 a) show that if 8 people are in a room, at least 2 of them have birthdays that occur on the same day of the week. 7M b) let A={1,2,3,4,5} X (1,2,3,4,5} and define R on A by (x 1,y 1) R (x 2,y 2 ) if x1+y1= x 2 + y 2, verify that R is an equivalence relation on A and also find the equivalence classes [(1,3)],[(2,4)] and [(1,11)] 4 a) find the number of integer solutions of the equation x 1 + x 2 + x 3 + x 4 =18 under the condition X 7 And for all 1 i 4 b) Find the generating function for the sequence 0 2,1 2,2 2, 3 2, 7M

5 a) solve the recurrence relation a n - 6 a n-1 + 9 a n-2 = 0, n 2,a 0 = 5,a 1 =12 b) Show that Group(G,*) for every a,b є G, (ab) 2 =a 2 b 2 iff (G,*) is an abelian 7M 6 a) Explain in detail about Depth first search (D.F.S) algorithm? 7M b) Explain about kruskal s algorithm for finding minimal spanning trees? 7 Answer any 3 questions a) Define both conjunctive and disjunctive normal forms (c.n.f and d.n.f)? b) Define lattice? Give example c) Define Derangement? How many Derangements are there for 1,2,3,4? d) Define Homomorphism and Isomorphism? e) List out tree traversal techniques CHAITANYA BHARATHI INSTITUTE OF TECHNOLOGY BRANCH: M.C.A ANNUAL EXAMINATION year/sem : I/I SUBJECT: DISCRETE MATHEMATICS(CBCA 101) TIME: 3 HRS TOTAL MARKS: 75 ------------------------------------------------------------------------------------------------------------------------------------------ Answer all questions from part A. 5X5=25 Answer 5 questions from part B. 5X10=50 PART-A 1) a) Construct the truth table for [(p->q)^(q->r)]->(p->r) and verify it is a tautology or not? b) Define both conjunctive and disjunctive normal forms (c.n.f and d.n.f)? 2) a) let A={1,2,3,4} and B={1,2,3,4,5,6} How many functions are there from A to B? How many of these are One-to-One? b) Define lattice? 3) a) Find the coefficient of X 5 in (1-2x) -7 b) Define Derangement? How many Derangements are there for 1,2,3,4?

4) a) Write short notes on Divide And Conquer algorithm? b) Define Homomorphism and Isomorphism? 5) a) State and prove EULER S formula b)list out tree traversal techniques PART-B 1 a) Find the minimal product of sums of a function g(w,x,y,z)= M(1,5,7,9,10,13,14,15) Using k-map b) Simplify the expression (AUB) C U B 2 a) show that if 8 people are in a room, at least 2 of them have birthdays that occur on the same day of the week. b) let A={1,2,3,4,5} X (1,2,3,4,5} and define R on A by (x 1,y 1) R (x 2,y 2 ) if x1+y1= x 2 + y 2, verify that R is an equivalence relation on A and also find the equivalence classes [(1,3)],[(2,4)] and [(1,11)] 3 a) find the number of integer solutions of the equation x 1 + x 2 + x 3 + x 4 =18 under the condition X 7 And for all 1 i 4 b) Find the generating function for the sequence 0 2,1 2,2 2, 3 2, 4 a) solve the recurrence relation a n - 6 a n-1 + 9 a n-2 = 0, n 2,a 0 = 5,a 1 =12 b) prove that Every subgroup of a cyclic group is cyclic 5 a) Explain in detail about Depth first search (D.F.S) algorithm? b) Explain about kruskal s algorithm for finding minimal spanning trees? 6 a) p (q->r) q p validate this argument P ---------------------

... P b) find a formula to express 0 2 +1 2 +2 2 +.+n 2 as a function of n. 7) a) State and prove Euclidian algorithm b) Show that Group(G,*) for every a,b є G, (ab) 2 =a 2 b 2 iff (G,*) is an abelian CHAITANYA BHARATHI INSTITUTE OF TECHNOLOGY BRANCH: M.C.A ANNUAL EXAMINATION year/sem : I/I SUBJECT: DISCRETE MATHEMATICS(CBCA 101) TIME: 3 HRS TOTAL MARKS: 75 ------------------------------------------------------------------------------------------------------------------------------------------ Answer all questions from part A. 5X5=25 Answer 5 questions from part B. 5X10=50 PART-A 1) a) Construct the truth table for [(p->q)^(q->r)]->(p->r) and verify it is a tautology or not? b) Define both conjunctive and disjunctive normal forms (c.n.f and d.n.f)? 2) a) let A={1,2,3,4} and B={1,2,3,4,5,6} How many functions are there from A to B? How many of these are One-to-One? b) Define lattice? 3) a) Find the coefficient of X 5 in (1-2x) -7 b) Define Derangement? How many Derangements are there for 1,2,3,4? 4) a) Write short notes on Divide And Conquer algorithm? b) Define Homomorphism and Isomorphism? 5) a) State and prove EULER S formula b)list out tree traversal techniques

PART-B 1 a) Find the minimal product of sums of a function g(w,x,y,z)= M(1,5,7,9,10,13,14,15) Using k-map b) Simplify the expression (AUB) C U B 2 a) show that if 8 people are in a room, at least 2 of them have birthdays that occur on the same day of the week. b) let A={1,2,3,4,5} X (1,2,3,4,5} and define R on A by (x 1,y 1) R (x 2,y 2 ) if x1+y1= x 2 + y 2, verify that R is an equivalence relation on A and also find the equivalence classes [(1,3)],[(2,4)] and [(1,11)] 3 a) find the number of integer solutions of the equation x 1 + x 2 + x 3 + x 4 =18 under the condition X 7 And for all 1 i 4 b) Find the generating function for the sequence 0 2,1 2,2 2, 3 2, 4 a) solve the recurrence relation a n - 6 a n-1 + 9 a n-2 = 0, n 2,a 0 = 5,a 1 =12 b) prove that Every subgroup of a cyclic group is cyclic 5 a) Explain in detail about Depth first search (D.F.S) algorithm? b) Explain about kruskal s algorithm for finding minimal spanning trees? 6 a) p (q->r) q p validate this argument P ---------------------... P b) find a formula to express 0 2 +1 2 +2 2 +.+n 2 as a function of n. 7) a) State and prove Euclidian algorithm b) Show that Group(G,*) for every a,b є G, (ab) 2 =a 2 b 2 iff (G,*) is an abelian