computer program for efficiently reducing the complexity of digital electronic gate circuits