ahmed-alllam / AlphaLogos

Boolean Function Analyzer and Synthesis Optimization Tool
http://alpha-logos-1464863388.eu-west-3.elb.amazonaws.com/
MIT License
1 stars 0 forks source link

Added generating prime implicants (PIs) #22

Closed ahmed-alllam closed 11 months ago

ahmed-alllam commented 11 months ago

This PR introduces the capability to generate prime implicants (PIs) for a given set of minterms. Prime implicants are a fundamental component in boolean minimization algorithms such as the Quine-McCluskey method.

Key Features:

  1. Efficient generation of PIs from a list of minterms.
  2. The introduction of essential data structures for minterms and implicants.

Changes:

  1. Added the generatePrimeImplicants function which takes a list of minterms and returns a list of prime implicants.
  2. Incorporated necessary data structures: Minterm and Implicant.
  3. Improved and optimized the minterm combination process for generating PIs.

Testing:

The new functionality has been rigorously tested with various test cases to ensure correctness. Additional unit tests have been added to verify the integrity of the prime implicant generation process.