AlphaLogos is a logic synthesis optimization tool that takes a logic circuit and optimizes it using the Quinn-McCluskey algorithm. It is designed with the intention to aid individuals in understanding and visualizing the process of logic minimization, which is crucial in digital design. The application leverages the power of the Quine-McCluskey algorithm to simplify logical expressions, rendering a more comprehensible and optimized version of the input logic circuit. The core functionalities include generating truth tables, obtaining minimized Boolean expressions, and visualizing the corresponding Karnaugh Maps and logic circuits. You can access the project demo using this link.
You can delve deeper into the developmental journey and the technical aspects of AlphaLogos by exploring the Project Report, which is available here. For a closer look at the various test cases and their outcomes, feel free to check out the Test Cases Report here.
- Generate Truth Table: Create a truth table based on the given logical expression.
- Obtain Canonical SoP and PoS: Acquire the canonical Sum of Products (SoP) and Product of Sums (PoS) forms of the logical expression.
- Get Prime Implicants (PIs): Identify the prime implicants derived from the logical expression.
- Get Essential Prime Implicants (EPIs): Determine the essential prime implicants which are crucial for the minimized expression.
- Get Uncovered Minterms by EPIs: Identify the minterms that are not covered by the essential prime implicants.
- Minimize the Expression: Utilize the Quine-McCluskey algorithm to minimize the logical expression.
- Get Minimum Number of MOSFET Transistors: Calculate the minimum number of MOSFET transistors required for the circuit.
- Draw Karnaugh Map: Visualize the logic minimization process through a Karnaugh Map.
- Draw Digital Circuit Simulation: Generate a digital circuit simulation based on the minimized expression for a hands-on understanding and visualization
The project utilizes the following technologies and libraries:
![](https://private-user-images.githubusercontent.com/49919286/279528127-b6be6bef-145a-4415-91f6-3ba90b1b3122.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MTg4NTU4NTMsIm5iZiI6MTcxODg1NTU1MywicGF0aCI6Ii80OTkxOTI4Ni8yNzk1MjgxMjctYjZiZTZiZWYtMTQ1YS00NDE1LTkxZjYtM2JhOTBiMWIzMTIyLnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDA2MjAlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQwNjIwVDAzNTIzM1omWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPTAyNjZmNGRkYjBiODJlZDJiNTA3MWY2Yjc2MWRmMmEzMjIzODFlZmI2N2IxMWYxMGYxOTYxYzc5YTYyYzhhZDYmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0JmFjdG9yX2lkPTAma2V5X2lkPTAmcmVwb19pZD0wIn0.u2TvF8naGN7COvRby69af-l9kf9kSwUNKhch3Z8ZZlY)
![](https://private-user-images.githubusercontent.com/49919286/279528123-b75e816f-9c07-4571-b666-7a442d1a84a9.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MTg4NTU4NTMsIm5iZiI6MTcxODg1NTU1MywicGF0aCI6Ii80OTkxOTI4Ni8yNzk1MjgxMjMtYjc1ZTgxNmYtOWMwNy00NTcxLWI2NjYtN2E0NDJkMWE4NGE5LnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDA2MjAlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQwNjIwVDAzNTIzM1omWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPThkNWIwMmUyNWMwMmYwY2RjOGIxYTZhNGVkYjY0YjYwZTg0NzQ4Mzk4ZjM5M2ZiYjEwY2E4M2I4YjllNjViZDkmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0JmFjdG9yX2lkPTAma2V5X2lkPTAmcmVwb19pZD0wIn0.xu2SutTjqV9IIPBFHyQ5q02weWsL6ZiozrtS-4qxUIU)
![](https://private-user-images.githubusercontent.com/49919286/279528119-6fe40e22-3f17-4242-af48-3dc337642585.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MTg4NTU4NTMsIm5iZiI6MTcxODg1NTU1MywicGF0aCI6Ii80OTkxOTI4Ni8yNzk1MjgxMTktNmZlNDBlMjItM2YxNy00MjQyLWFmNDgtM2RjMzM3NjQyNTg1LnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDA2MjAlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQwNjIwVDAzNTIzM1omWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPTg3YzRlYWM1ZmQ1N2M4ZTFkOTRmYTYzNzMyNDg2MjM2ODVmNzM1YTRiM2ZhZTcxYzM2YWE0Mjg5NWM4MDU0ZGImWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0JmFjdG9yX2lkPTAma2V5X2lkPTAmcmVwb19pZD0wIn0.KtF5dKbNnsQEdy6poDHIK7m-n2zTpg7drVRmFqZAT20)
![](https://private-user-images.githubusercontent.com/49919286/279528114-c171f702-09aa-4991-90d1-48a9f48adb48.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MTg4NTU4NTMsIm5iZiI6MTcxODg1NTU1MywicGF0aCI6Ii80OTkxOTI4Ni8yNzk1MjgxMTQtYzE3MWY3MDItMDlhYS00OTkxLTkwZDEtNDhhOWY0OGFkYjQ4LnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDA2MjAlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQwNjIwVDAzNTIzM1omWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPWE1YzQ1OTEwNWY1MzY5ODVjOTQ0OWVjOTllMDNmZDU1NWYwZjdiYjZlMTkwNDRjOGViNTYxY2I0MDJhZjM2ZTYmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0JmFjdG9yX2lkPTAma2V5X2lkPTAmcmVwb19pZD0wIn0.Ag8RgEMvoETZ8Fu8C_A2OU0YCQSpSakcwLvbhuFf5po)
![](https://private-user-images.githubusercontent.com/49919286/279528108-a96b8c12-f33a-4353-abb1-c8f61bd87eaf.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MTg4NTU4NTMsIm5iZiI6MTcxODg1NTU1MywicGF0aCI6Ii80OTkxOTI4Ni8yNzk1MjgxMDgtYTk2YjhjMTItZjMzYS00MzUzLWFiYjEtYzhmNjFiZDg3ZWFmLnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDA2MjAlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQwNjIwVDAzNTIzM1omWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPWVjNzA3NDljMjc3MzNhMmZkMTgyZTU0NTkxOTkzNDFlOWI0ODMwOTc4NTVmMDUyYWM2YmJkNWZhYjVlZDQ4MDMmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0JmFjdG9yX2lkPTAma2V5X2lkPTAmcmVwb19pZD0wIn0.I--6Vi__We0fHQW5PANWWGBihpfwhthNLVi6aTFPxGI)
![](https://private-user-images.githubusercontent.com/49919286/279528101-e8e8f82c-7e95-4ec0-90e8-7e6271021cad.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MTg4NTU4NTMsIm5iZiI6MTcxODg1NTU1MywicGF0aCI6Ii80OTkxOTI4Ni8yNzk1MjgxMDEtZThlOGY4MmMtN2U5NS00ZWMwLTkwZTgtN2U2MjcxMDIxY2FkLnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDA2MjAlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQwNjIwVDAzNTIzM1omWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPTU4NDI3ZjZjNDE1MjMwNjIzMzY4NDQyNmI1OTk1ZGYwMDAzNjRiNjRmNzNhNThjZmQ5ZmQzYTA2YzliNWEzNzcmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0JmFjdG9yX2lkPTAma2V5X2lkPTAmcmVwb19pZD0wIn0.hsPbwN7H8mogH_7Q7__lv8rs2QgvgL21yBd0DPoOn2s)
To build and run the AlphaLogos project using Docker, follow the steps below:
-
Clone the Repository:
git clone https://github.com/ahmed-alllam/alphalogos.git cd alphalogos
-
Build the Docker Image:
docker build -t alphalogos:latest .
-
Run the Docker Container:
docker run -p 8000:8000 alphalogos
-
Access the Application: After executing the commands above, open your browser and navigate to
http://localhost:8000
to access the application.
Ahmed Allam - LinkedIn - ahmedeallam@aucegypt.edu - 900214493
Mohamed Mansour - Hamdy47@aucegypt.edu - 900222990
Mohamed Abdelmagid - LinkedIn - mabdelmagid@aucegypt.edu - 900223215