逻辑函数公式化简器

该软件可以快速地化简用大写字母作为逻辑变量的多变量复杂与或非逻辑表达式至最简形式，支持多级括号嵌套。