Project Description
 

Objective	Find prime implicants  using Quine's method	Find prime implicants using  the iterated consensus method	Find prime implicants using the method of recursive computation
Find minimized logic expressions using the branch-and-bound algorithm	Group 3, Group 8	Group 4, Group 9	Group 7
Find minimized logic expressions using heuristic algorithm	Group 5	Group 2	Group 1

Groups:

Group 1: Lili Zhou, Shanshan Xu.
Group 2: Aashish Shah, Prakash Shekar, Balasubramanian Natarajan.
Group 3: Baskar Mukherjee, Kartik Rao, Puloma Mukherjee.
Group 4: Prashant Kher, Mandeep Singh Sawhney.
Group 5: Pallavi Gokhale, Gopa Dutta, Saujanya Gosangari.
Group 6: -
Group 7: Krishna Kumar Nair, Praveen Ranachandran, Sheela Rangarajan.
Group 8: Prakshep Padia, Prachi Ughade, Vaishali Wani.
Group 9: Nima Shah, Tejas Brahmbhatt, Venkat.

You will demonstrate your minimization algorithm for a set of 10 logic equations with up to 10 different variables.

A technical report must be handed in. The report will contain following sections:

• Introduction and Problem Statement.
• Related Work.
• Propsoed solution to the problem and relevant implementation issues.
• Experimental results.
• Conclusion.
• Bibliography.