Design and Verification of a Dual Mode Smart Pet Feeder Using Boolean Logic Control

Irregular feeding schedules and inaccurate portioning are persistent contributors to obesity and related health risks in companion animals, especially when owners have limited time to supervise daily routines. Recent studies report high prevalence of feline and canine obesity and highlight that portion measurement by owners can be substantially imprecise, motivating solutions that enforce repeatable feeding events and support human override when needed. This paper presents a compact and explainable dual mode controller for an automatic and manual pet feeding system based on Boolean logic. The proposed design formalizes functional requirements as binary input signals, derives the canonical truth table, and synthesizes a minimized sum of products expression using established logic minimization principles. The resulting control law is F = M + (A·T), where A enables automatic operation, T is the scheduled timer event, and M is a manual feeding request. We further discuss a practical pulse shaping stage to prevent repeated dispensing when the timer signal remains high and outline hazard focused considerations for asynchronous inputs. Functional correctness is validated through exhaustive simulation across all input combinations and additional timing oriented test cases. Compared with a non minimized implementation, the minimized expression reduces gate count and logic depth while preserving safety relevant behavior such as manual override priority. The controller is suitable for low cost microcontroller or discrete logic realizations and provides a reproducible baseline for extending pet feeders with sensing, networking, and security features