A lightweight Python desktop application for generating truth tables and minimizing Boolean functions using the Quine-McCluskey algorithm. The tool visualizes Karnaugh Maps (K-Maps) and identifies optimal groupings for 2 to 5 variables.
Note: The current user interface is in Polish, but the core logic and expressions follow international Boolean algebra standards.
- Truth Table Engine: Supports
AND,OR,NOT,XOR,XNORwith flexible syntax (words or symbols). - Function Minimization: Automatically calculates the simplest Sum of Products (SOP) form.
- Interactive K-Maps: Dynamic rendering of Karnaugh Maps with a toggle to show/hide prime implicant groups.
- Manual K-Map Editing: Directly click or type values onto the Karnaugh Map to define your logic.
- Binary/Gray Code: Toggle between standard binary and Gray code ordering for the truth table.
- Markdown Export: One-click "Copy to MD" buttons for both tables and K-maps (perfect for documentation).
- Theme Support: Dynamic Dark/Light mode switching (Hotcheck:
F12).
The parser handles various notation styles:
A B + !CA AND B OR NOT CA * B + !C(A ^ B) # (C + D)
- Python 3.x
- Tkinter (Standard Library)
- No external dependencies required.
- Download
truthtable.py. - (Optional) Place an
icon.pngin the same directory for a custom window icon.
To launch the application without the background terminal window (stealth mode), run via the provided run.vbs script.