BLINK: A Multiple-Option and XOR Karnaugh Map Solver Tool for Logic Synthesis

This paper presents BLINK, a didactic tool for solving Karnaugh maps and logic synthesis. It can help learners with test cases and see all the possible solutions regarding a single function. It derives from a Karnaugh map and can express solutions in sums of products, products of sums, and exclusive sum of products. It counts with support for 'don't care' cases, multiple solutions, and solutions for XOR gates employing a version of the folding method. It is very useful to learn the basics of logic synthesis and to know the XOR gates, which are an essential topic for this area.