软件名称：
2.15 逻辑函数的机器化化简法
下载地址列表：
镜像地址一
