D Y Patil College of Engg& Technology
Department Of Computer Science &Engg
Tutorial List: A content given for self-learning 23/9/25
Subject – DMS Year-2025-26
SR.N Tutorial Content CO PO No
o Title Mapped Mapped of
Hrs
1 Theory Questions : CO1
Q1. What is a statement its examples
Q2. Theory along with their properties(associative,commutative…etc)on connectives
such as AND,OR,NOT,NAND,NOR,ETC….
Q3. Write Note on:
1. Well formed formulas with its properties and example
[Link] Instance Formula
[Link] is duality law and Functionally complete set of connectives
[Link] PCNF and PDNF with Example
Q6. For each of the question below construct a truth table . you can solve any 2 sub-
questions from the main question .
Q7.
Q8. solve any 3
Q9.
Q10. Solve any 2 from sub questions
Q11. Solve any 2
Q12.
Q13.
Q14.
Q15. Solve any 5 using Rule P & Rule T
2 Set Que 1. Write all basics of set theory concepts , their definitions , examples , small
Theory examples, properties.
[Link] Theory and example on Inclusion, Equality, power set
Que 3. Write Different operations on set like union, intersection etc, their
definations, examples , small examples, properties.
Que 4. Solve Question 1,2,4,5 from the exercise given
Que 5.
Que 6.
Given A ={2,3,4} ,B ={1,2},and C={4,5,6} find A+B,B+C,A+B+C and (A+B)+(B+C)
Que 7.
Que 8.
3 Algebraic Que [Link] Algebraic Structures and its Properties
Strucutres
Que 2. Explain in detail which properties are fulfilled by following
a. <N,+> b. <N,X> C.<I,+,X>
4
CO3 4
PO3
6
CO4 PO2 5
7
CO3 PO3 6
CO2 PO3 2
9
CO1,2,3 PO1,2 3
10
CO2 PO3 2
CO3 PO3 1
CO3 PO3 1
Subject Incharge HOD