AURORA'S HIGHER EDUCATION AND RESEARCH ACADEMY
Uppal, Hyderabad, Telangana, +91 9100123456, [Link]
DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING - ARTIFICIAL
INTELLIGENCE AND MACHINE LEARNING
COMPREHENSIVE PROJECT REPORT
Discrete Mathematics
PROJECT TITLE
“Application of Normal Forms in Digital Circuits”
LEARNING GROUP NO: 1
INTERNAL GUIDE: Dr. Rakesh Singh Thakur
NAME: M. Jesse Ebenezer Rhiza
ROLL NO: AUU23EGCSA043
Mob num: 9059301127
Email id: jesserhiza@[Link]
NAME: CH. Jai Vignesh
ROLL NO: AUU23EGCSA050
Mob num: 9 0 1 4 4 8 3 4 6 8
Email id: jaivigneshchevva24@[Link]
NAME: Syed Yasar Rayyan
ROLL NO: AUU23EGCSA039
Mob num: 8712357739
Email id: syedyasarrayyan8@[Link]
i
AURORA'S HIGHER EDUCATION AND RESEARCH ACADEMY
Uppal, Hyderabad, Telangana, +91 9100123456, [Link]
DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING - ARTIFICIAL
INTELLIGENCE AND MACHINE LEARNING
DECLARATION BY THE CANDIDATE
I, M. Jesse Ebenezer Rhiza bearing Registration Number AUU23EGCSA043, hereby declare
that the project report entitled “Application of Normal Forms in Digital Circuits” under the
guidance of Dr. Rakesh Singh Thakur, Professor, Dept. of Mathematics, Aurora’s Higher
Education and Research Academy, Uppal is submitted in partial fulfillment of the
requirements for the award of the degree of B,Tech in Computer Science and Engineering –
Artificial Intelligence and Machine Learning.
This is a record of Bonafide work carried out by me and the results embodied in this
project have not been reproduced or copied from any source. The results embodied in this project
report have not been submitted to any other university or institute for the award of any other
degree or diploma.
Name: M. Jesse Rhiza
Reg. No: AUU23EGCSA043
AURORA'S HIGHER
EDUCATION AND
RESEARCH
ACADEMY UPPAL,
HYDERABAD
ii
AURORA'S HIGHER EDUCATION AND RESEARCH ACADEMY
Uppal, Hyderabad, Telangana, +91 9100123456, [Link]
CERTIFICATE
This is to certify that the Comprehensive Project report entitled
“Application of Normal Forms in Digital Circuits” submitted by M.
Jesse Ebenezer Rhiza bearing Registration Number
AUU23EGCSA043 for the fulfillment of the successful completion of
Data Structures Course in II Year II Term of B. Tech Program at
Aurora’s Higher Education and Research Academy, is an authentic
compilation of his efforts, completed under our guidance. We also
commend their dedication and effort.
Internal Examiner Head of the Department External Examiner
iii
ACKNOWLEDGMENT
I am very pleased to present this major Project report. This period of my student life has
been truly rewarding several people were of immense help to me during my research and the
preparation of my Comprehensive project report.
First, I wish to thank God Almighty who created the heavens and earth and helped me in
completing this project.
I thank my parents who encouraged me to continue my Undergraduate studies, to my
father and mother.
I would like to thank Dr. Rakesh Singh Thakur, Aurora’s Higher Education and
Research Academy, Uppal, my project internal guide, for her guidance and help. Her insight
during the course of my research and regular guidance were valuable to me.
And also, I thank Mrs. Swapna Mudrakola, Head of the Department, Computer Science
and Engineering – Artificial Intelligence and Machine Learning, Aurora’s Higher Education
and Research Academy, Uppal, for her encouragement and cooperation throughout the project.
I would also thank Dr. K. Chandra Shekhar, Registrar of our University, for extending her
help.
I would also thank Dr. Ravi Kumar, Dean of Engineering of our University, for
extending his help.
iv
ABSTRACT
The concept of Normal Forms, including Conjunctive Normal Form (CNF), Disjunctive Normal Form
(DNF), is a cornerstone topic in the design and analysis of digital circuits. These expressions provide
structured methods to simplify logical formulations, optimize circuit design, and standardize Boolean
operations for modern applications. This study explores the methodologies of implementing Normal Forms
in digital circuits, their practical applications, and the computational challenges encountered. The findings
emphasize the importance of Normal Forms in logic minimization, theorem proving, and ensuring the
consistency of digital systems. The study also highlights their use in emphasizing the interplay between
mathematical logic and circuit design.
INDEX
SNO. CONTENT PAGE NUMBER
1 Introduction
1.1 Background Knowledge
1.2 Motivation for the project
1.3 Existing System
1.4 Problem Statement
2 Literature Survey
3 Methodology
4 Project Design
5 Creativity and Innovation
7 Community Impact
8 References