搜索结果

关于逻辑简化 github 支持逻辑表达式输入与真值表输入。 test3版本有表达式输入时不能识别最前面的'~ '的bug（即误认"~^(a,b,c,d)"为"^(a,b,c,d)"）。 输入模式中的“单行”实为36进制，因此它其实不支持n>6。 由于是暴搜，时间复杂度大概是O((2** (n*n+n))，n=4速度还行，n=5八十多秒，n=6……别指望了（压根就没写） n>4时由于接线问题不建议使用（我还没有加接线检测功能） “自动推断选项”下的s0,s1,ss,sR（仅表达式输入）分别指：输出应为真（的输入集），输出应为假，输出任意，值域。...