社区讨论

一个关于2-sat的问题

2019/07/15 10:15学术版参与者 2已保存回复 1

讨论操作

快速查看讨论及其快照的属性，并进行相关操作。

当前回复: 1 条
当前快照: 1 份
快照标识符: @mi86deqn
此快照首次捕获于: 2025/11/21 09:22
此快照最后确认于: 2025/11/21 09:22

如何把

x1|x2|x3...|xn=true

变成几个形如x1|x2=True的二元表达式？

回复

共 1 条回复，欢迎继续交流。

正在加载回复...