Project Report
Project Report
Project report on
Bachelor of Technology
in
Department of Computer Science and Engineering
By
G. Taraka Shiva Ganesh
AUU23EGCSE045
(202324)
1|Page
DECLARATION
I hereby declare that the comprehensive project work described in this report, entitled An
Intelligent Smart Dustbin System Using Propositional Logic and IoT which is being
Faculty of Computer Science and Engineering to the Aurora's Higher Education and
The course project work is original and has not been submitted for any
Place: Hyderabad
Date: 24/11/2024
AUU23EGCSE045
2|Page
CERTIFICATE
This is to certify that the comprehensive project report entitled An Intelligent Smart Dustbin
System Using Propositional Logic and IoT, submitted by Mr. G. Taraka Shiva Ganesh bearing
Discrete Mathematics Course in Second Year First Term of B.Tech Computer Science Programme
at Aurora's Higher Education and Research Academy, is an authentic compilation of her/his efforts,
completed under our guidance. We also commend their dedication and effort.
Date: 25/11/2024
Hyderabad
3|Page
ACKNOWLEDGEMENT
The satisfaction that accompanies the success of any task would be incomplete
without mention of the people who made it possible and whose constant encouragement
has been a source of inspiration through the course of the task. I take this opportunity
to express my gratitude to all those who helped me in doing my course project work.
I would first thank The Almighty for the blessings and stimulating to move through
the right path that suits my passion.
I would like to express my sincere thanks to Mrs Rekha Sinha, Assistant
Professor, Department of Mathematics, who encouraged, provided me a tremendous
mentoring and continuous support towards my course project work through his
motivation and immense knowledge.
I would like to sincerely and whole heartedly thank the Head of the Department Dr.
K. Chandrashekar for providing invaluable insights and suggestions throughout the
course project.
I would like to gratify my heartfelt thanks to the Management, the Registrar Dr.
Srilatha Chepure, Director of Evaluation Mr. K. Chandrasekhar, DeanAcademics Dr.
Krishna Kumari, DeanSchool of Engineering Dr. Ravi Kumar Sangewar for their valuable
suggestions, ideas and extended support which were helpful for the successful
completion of my course project work.
Further, I would like to express my gratitude towards the faculty members of CSE,
who have pooled their valuable time in guiding me to complete my course project. I am
thankful to the staff of University Library who provided me the necessary material and
references for my course project.
I am grateful to my parents for their encouragement and neverending kindness. I
owe special thanks to all my family members and friends for their support during various
stages of the course project work.
AUU23EGCSE045
4|Page
ABSTRACT
This project presents a Smart Dustbin System that leverages IoT and propositional logic to automate
waste disposal while ensuring hygiene and efficiency. The system integrates Boolean algebra to model
its behavior, using an ultrasonic sensor and manual override button as inputs, and a servo motor to
control the dustbin lid. Logical expressions like R=P ∨ Q (where P represents motion detection, and
Q represents manual input) govern the lid’s operation. The solution ensures seamless realtime
decisionmaking, minimal human intervention, and enhanced contactless waste management, making
it adaptable to various environments.
Keywords: Smart Dustbin, IoT, Propositional Logic, Boolean Algebra, Automation, Hygiene, Arduino
Uno, Ultrasonic Sensor, Servo Motor, Waste Management.
5|Page
TABLE OF CONTENTS
1. Declaration 1
2. Certificate 2
3. Acknowledgement 3
4. Abstract 4
5. Table of Contents 5
10. Chapter – 1 6
Introduction
11. Chapter – 2 7-11
Literature Survey
12. Chapter – 3 12-16
Project Design
13. Chapter – 4 17-23
Project Implementation
14. Chapter – 5 24-26
Project Demonstration and Experimental Results
15. Chapter – 6 28
Conclusion
16. Chapter – 7 29
Future Scope
17. Chapter – 8 30
References
6|Page
Introduction:
The Smart Dustbin System uses propositional logic and Boolean algebra to automate and control the
opening and closing of the lid based on motion detection and manual input. Using logical expressions, the
system defines inputs as motion detected (S) and manual button pressed (M), with the output (O) representing
the lid's state. The logic follows the formula O=S ∨ M, where the lid opens if either motion is detected or the
manual button is pressed. This results in a truth table that ensures the lid opens when either S or M is true,
offering both handsfree and usercontrolled operation. By applying propositional logic, the system ensures
seamless, realtime decisionmaking, optimizing waste disposal in various environments while promoting
hygiene and convenience.
Background Information:
Propositional Logic, also called Boolean Logic, is a way of reasoning using simple statements that are
either true or false. These statements are combined using logical operators to form more complex statements.
Types of Propositions
In propositional logic, propositions are statements that can be evaluated as true or false. They are the building
blocks of more complex logical statements. Here’s a breakdown of the two main types of propositions:
• Atomic Propositions
• Compound Propositions
Propositional Logic
Propositional logic is a branch of mathematics that studies the logical relationships between propositions (or
statements, sentences, assertions) taken as a whole, and connected via logical connectives.
For Example,
1. The sun rises in the East and sets in the West.
2. 1 + 1 = 2
3. ‘b’ is a vowel.
Above 3 sentences are propositions, where the first two are Valid(True) and the third one is Invalid(False).
7|Page
Literature Survey
8|Page
Study 4: Using Truth Tables for Optimizing Logic Designs
Title and Authors: From ANU Open Research Repository.
• Objective: To optimize digital circuits using truth tables and advanced Boolean simplification
techniques.
• Methodology: The researchers used QuineMcCluskey algorithms and evaluated tradeoffs between gate
count and propagation delay.
• Results and Findings: The study demonstrated that advanced simplification techniques could reduce
gate counts by up to 40% while maintaining acceptable delays, improving overall circuit efficiency.
Comparative Analysis:
Asp Smart Dustbin Study 1: Study 2: Study 3: Study 4: Study 5:
ect System Logic Design Boolean Lecture Notes Using Applications
Using Truth Algebra and on Truth of
Tables Digital Propositional Tables for Propositional
Circuit Logic and Optimizing Logic in
Design Circuit Logic Digital
Equivalence Designs Circuit
Design
Optimize Apply
Automate waste Design Simplify Explore logical circuits propositional
management efficient Boolean equivalence for using logic to
Obj using motion digital expressions reducing advanced debugging and
ecti detection and circuits using for efficient redundancy in Boolean error
ve manual input. truth tables. circuits. circuits. simplificatio correction.
9|Page
ns.
Truth table Boolean
Propositional creation, algebra Truth tables,
logic (O = S ∨ Boolean techniques, Logical QuineMcCl Logical
Met M), truth simplificatio truth tables equivalence uskey inference, truth
hod tablebased n using for analysis using algorithm, tables for
olo design, realtime Karnaugh adders/multi NAND/NOR tradeoff identifying
gy control. maps. plexers. gates. evaluation. design flaws.
Seamless Reduced
Res handsfree and Reduced gate Optimized gate count
ults manual complexity circuit Achieved by up to Improved
and operation, and improved complexity, reduced gate 40%, reliability in
Fin promotes circuit reduced gate usage without balanced processor/mem
din hygiene and costeffective count by loss of speed vs ory unit
gs convenience. ness. 30%. functionality. cost. designs.
Combines
motion sensors Introduced Propositional
and manual Focused on Integration Emphasized advanced logic for
Inn override using foundational of realworld universality of simplificatio debugging
ovat propositional design of examples NAND/NOR n complex
ion logic. logic gates. like adders. gates. algorithms. systems.
App
licat Waste Faulttolerant
ion management in Combination Arithmetic Highefficien design in
Do public spaces, al circuit circuit Theoretical cy circuit advanced
mai offices, and design and design and circuit design implementat digital
n homes. education. optimization. principles. ion. systems.
10 | P a g e
1. Study 1 and Study 2 focus on foundational aspects of logic design using truth tables and Boolean
simplification techniques, providing the basis for circuit optimization.
2. Study 3 delves into the theoretical equivalence of logical operations, which informs the efficient
hardware design seen in systems like the Smart Dustbin.
3. Study 4 showcases advanced optimization techniques, such as the QuineMcCluskey algorithm, for
reducing circuit complexity—paralleling the simplicity achieved in the Smart Dustbin's Boolean
logic implementation.
4. Study 5 demonstrates the use of propositional logic for error detection and debugging in complex
systems, which complements the faultfree functionality of the Smart Dustbin.
The Smart Dustbin System integrates the principles discussed in these studies into a tangible application,
showcasing how theoretical concepts in propositional logic and Boolean algebra can be used to solve
practical problems. Its innovative use of sensors and manual overrides makes it a userfriendly and efficient
solution, expanding the scope of logical design into realworld applications.
11 | P a g e
Project Design
Objectives
• Use propositional logic to define system states and behaviors.
• Design truth tables for automated lid control based on motion detection and manual inputs.
• Integrate hardware (Arduino Uno, ultrasonic sensor, servo motor) and logical decisionmaking.
• Program logical conditions in code using Boolean expressions.
• Ensure adaptability to various scenarios for hygienic, efficient waste disposal.
Experimental Design:
Logical rules:
1. R=P ∨ Q: The lid opens if motion is detected or the manual button is pressed.
0 0 0 1
0 1 1 0
1 0 1 0
1 1 1 0
12 | P a g e
Step 3: Mathematical Modeling
• Components:
• Connections:
• Setup:
• Loop:
Step 6: Testing
14 | P a g e
5 Jumper Wires Maletomale and Used to connect
maletofemale various
jumper wires for components
connections. (sensor, motor,
microcontroller) to
each other for the
system to function
properly.
Flow Chart:
Start
Initialize Components
- Set up Servo Motor, Ultrasonic Sensor,
and Button
15 | P a g e
Read Button State
- Check the button:
b = 1 if pressed, b = 0 otherwise
Evaluate Logic
Condition: (d < 50) OR (b = 1)?
d < 50: Object detected within 50 cm
b = 1: Manual button press
Yes No
Repeat Process
- Continuously monitor distance and button state until system is off.
Expected Outcomes
Implementation Steps:
Logical rules:
3. R=P ∨ Q: The lid opens if motion is detected or the manual button is pressed.
0 0 0 1
0 1 1 0
1 0 1 0
1 1 1 0
Explanation:
o Both conditions are satisfied: the object is detected, and the button is pressed.
Logical Interpretation:
And the lid is closed (¬R=1) when neither condition is satisfied: ¬R=¬(P∨Q)
1. Hardware Components
o Push Button
o Jumper wires
18 | P a g e
o Breadboard(optional)
o Dustbin structure
2. Software Tools
Use the provided circuit diagram as a reference and connect the components as follows:
Servo Motor:
Push Button:
19 | P a g e
Step 4: Code Implementation
Copy and paste the provided code into the Arduino IDE, ensuring all libraries are installed.
▪ If the object is less than 30 cm away, it triggers the servo to open the lid.
o Servo Motor:
▪ Opens the lid to 180° when waste is detected or when the button is pressed.
o Delays:
o Place an object within 30 cm of the ultrasonic sensor and observe the servo motor.
o Check for stable operation of the servo and accurate detection by the ultrasonic sensor.
20 | P a g e
Step 6: Final Assembly
o Fix the servo motor to the lid for smooth opening and closing.
o Use a USB cable connected to a power bank or a 9V battery to power the Arduino.
• Rule 1: If an object is within 30 cm (ultrasonic sensor detects proximity), then the lid opens
automatically.
• Rule 3: If no object is detected and the button is not pressed, the lid remains closed.
21 | P a g e
Code for Arduino:
include <Servo.h>
void setup()
{
servoMain.attach(9); // Servo on digital pin 9
pinMode(trigpin, OUTPUT); // Set Trigger pin as OUTPUT
pinMode(echopin, INPUT); // Set Echo pin as INPUT
pinMode(buttonPin, INPUT_PULLUP); // Button pin with internal pullup resistor
}
void loop()
{
// Measure distance using ultrasonic sensor
digitalWrite(trigpin, LOW);
delay(2);
digitalWrite(trigpin, HIGH);
delayMicroseconds(10);
digitalWrite(trigpin, LOW);
22 | P a g e
Circuit Designed in the tinkecad:
Schematic View:
23 | P a g e
Project Demonstration and Experimental Results
Servo
motor is
not rotated
0 0 0 1
24 | P a g e
Servo
motor has
been
rotated to
180
degrees
0 0 0 1
1 0 1 0
Servo
motor is
not rotated
Fig 3: When the object placed outside of the range of 30 cm and no button is pressed
0 0 0 1
1 0 1 0
0 0 0 0
25 | P a g e
Servo
motor
has
been
rotated
to
180
degrees
Fig 4: When the object placed outside of the range of 30 cm but the manual button is pressed
0 0 0 1
0 1 1 0
1 0 1 0
0 1 1 0
Fig 5: When the object placed inside of the range of 30 cm but the manual button is pressed
P Q R (Lid Open) ¬R (Lid Closed)
0 0 0 1
0 1 1 0
1 0 1 0
0 1 1 0
1 1 1 0
26 | P a g e
Applications of the Smart Dustbin System
1. Homes:
The smart dustbin can be used in kitchens, bathrooms, and living rooms to ensure hygiene and
convenience.
It eliminates the need to touch the lid, reducing the spread of germs, especially during food
preparation or while handling waste.
2. Offices:
Helps maintain a clean environment in workspaces, conference rooms, and cafeterias.
Employees can dispose of waste easily without touching the bin, promoting hygiene and reducing
odors in shared spaces.
3. Hospitals and Clinics:
Essential for handling medical waste like used gloves, masks, and syringes.
Prevents direct contact with biohazardous materials, reducing the risk of infections for healthcare
workers and patients.
Can be placed in isolation wards and surgical rooms for better waste management.
4. Public Spaces:
Useful in parks, bus stops, railway stations, and airports where large numbers of people dispose of
waste daily.
The handsfree feature minimizes contact and promotes better hygiene in crowded areas.
Can include sensors to indicate when the bin is full, aiding in efficient waste collection.
5. Schools and Universities:
Encourages students to dispose of waste responsibly and helps maintain cleanliness in classrooms,
cafeterias, and restrooms.
Demonstrates the use of technology for practical purposes, promoting awareness about automation
and hygiene.
6. Restaurants and Cafes:
Ideal for managing food waste in kitchens and dining areas without requiring staff or customers to
touch the dustbin.
Maintains a cleaner environment and reduces the spread of germs in foodhandling spaces.
7. Industrial Settings:
Useful in factories, warehouses, and manufacturing units for disposing of industrial waste like
packaging materials, scraps, and other nonhazardous items.
Reduces human contact with waste in highrisk environments, improving worker safety and hygiene.
27 | P a g e
Conclusion
The Smart Dustbin System was successfully designed and implemented using propositional logic and
automation techniques. By integrating an Arduino UNO, ultrasonic sensor, a servo motor, and a manual
button, the system effectively automates the opening and closing of the lid, ensuring hygienic and efficient
waste disposal.
The system works based on simple logical rules:
• The lid opens automatically when an object is detected within 30 cm.
• The lid also opens if the manual button is pressed.
• The lid remains closed when neither condition is true.
This project demonstrates the practical use of Boolean algebra and automation to simplify daily tasks. The
system promotes cleanliness and convenience, making it suitable for homes, offices, and public spaces.
Through proper testing and assembly, the Smart Dustbin System proved to be a reliable, userfriendly, and
effective solution for waste management.
28 | P a g e
Scope for Future Works
1. Human Detection Using Machine Learning (ML):
• Implement computer vision techniques to detect human presence near the dustbin using a camera and ML
models. This could help the system determine when to open the lid automatically, improving user
interaction without the need for manual intervention or ultrasonic sensors. Models like TensorFlow or
OpenCV can be used for object and human detection.
These features could turn the basic smart dustbin into a fully integrated, ecofriendly waste management
system. The combination of advanced machine learning, IoT, and automation can improve user convenience
and environmental sustainability in waste disposal processes.
29 | P a g e
References
https://ieeexplore.ieee.org/abstract/document/9418359/
https://ieeexplore.ieee.org/abstract/document/9452988/
https://www.academia.edu/download/63282492/smart-waste-management-system-using-
iot-IJERTV9IS04049020200512-45799-1qt3bjk.pdf
30 | P a g e
31 | P a g e