资 源 简 介
This is a complete Common Lisp program that minimizes Boolean functions expressed as a sum of minterms. It is easy to use and runs quickly, given that it must perform a tree search. By Vitit Kantabutra, Idaho State University Computer Science.
