- IP属地
- 未知
- 2019/02/16
- 6
- 5
- 勋章
- 1
- · 发布于未知
关于逻辑简化
github
另:有没有人帮忙优化一下,码丑勿喷
哇这个好像Markdown
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(仅表达式输入)分别指:输出应为真(的输入集),输出应为假,输出任意,值域。
- (不过表达式模式的ss与sR等是test4的功能……)
另:有没有人帮忙优化一下,码丑勿喷
哇这个好像Markdown