本系统支持文本的单个单词查询和多个单词的逻辑综合查询。可以使用逻辑运算符进行与，或，非的逻辑运算，可以判断括号优先级。具体使用说明见压缩包里的说明文件-version of the system to support a single word queries and the number of words logic synthesis inquiries. Can be used for logic Operators with,