Boolean algebra program KarnaughMap 2.1 (kmap21.exe) has the ability to eliminate consensus terms. For example, in the expression "BC + /AB + AC" the variables B and C are anded with varaibes /A and A. Therefore, the term BC is redundant. This program will display two solutions "BC + /AB + AC" and "/AB + AC".
Last update 01/28/2009