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