A Python implementation of the Quine–McCluskey algorithm for Boolean function minimization. Includes a theoretical report, interactive Jupyter notebook, and truth table verification.