Material from the course of Design of Digital Systems at ENSEM - Université de Lorraine.
boolean-algebra quartus boolean-logic vhdl-code fpga-programming combinatorial-logic dynamic-modeling
- Updated
Sep 17, 2023 - VHDL
#
combinatorial-logic
Here are 3 public repositories matching this topic...
A Python implementation of the Quine–McCluskey algorithm for Boolean function minimization. Includes a theoretical report, interactive Jupyter notebook, and truth table verification.
python quine-mccluskey jupyter-notebook educational digital-logic boolean-algebra truth-table logic-minimization combinatorial-optimization circuit-optimization combinatorial-logic
- Updated
Jul 3, 2025 - Jupyter Notebook
Lean proofs for R. Smullyan's To Mock a Mockingbird chapters 9-24
- Updated
Feb 11, 2026 - Lean
Improve this page
Add a description, image, and links to the combinatorial-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the combinatorial-logic topic, visit your repo's landing page and select "manage topics."