An auto logic simplifier