Boolean algebra program KarnaughMap 4.4.5 (kmap445.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 10/07/2014