Problem Forge
让每个变量取真或假，使得每个子句至少有一个为真的文字。每个子句最多有三个文字。
(x₁ ∨ x₂ ∨ x₃)
∧ (¬x₁ ∨ ¬x₂ ∨ x₃)
∧ (x₁ ∨ ¬x₂ ∨ ¬x₃)
x₁ = 1, x₂ = 0, x₃ = 0
(x₁ ∨ x₂ ∨ x₃) ∧ (x₁ ∨ x₂ ∨ ¬x₃)
∧ (x₁ ∨ ¬x₂ ∨ x₃) ∧ (x₁ ∨ ¬x₂ ∨ ¬x₃)
∧ (¬x₁ ∨ x₂ ∨ x₃) ∧ (¬x₁ ∨ x₂ ∨ ¬x₃)
∧ (¬x₁ ∨ ¬x₂ ∨ x₃) ∧ (¬x₁ ∨ ¬x₂ ∨ ¬x₃)
本月的各级
| 级 | 解出（全部玩家） | 提交的答案（全部玩家） | 状态 |
|---|---|---|---|
| 2026-11-3SAT-12 | 0 | 0 | 未解出 |
| 2026-11-3SAT-11 | 0 | 0 | 未解出 |
| 2026-11-3SAT-10 | 0 | 0 | 未解出 |
| 2026-11-3SAT-09 | 0 | 0 | 未解出 |
| 2026-11-3SAT-08 | 1 | 1 | 已解出 |
| 2026-11-3SAT-07 | 1 | 1 | 已解出 |
| 2026-11-3SAT-06 | 1 | 1 | 已解出 |
| 2026-11-3SAT-05 | 1 | 1 | 已解出 |
| 2026-11-3SAT-04 | 1 | 1 | 已解出 |
| 2026-11-3SAT-03 | 1 | 1 | 已解出 |
| 2026-11-3SAT-02 | 1 | 1 | 已解出 |
| 2026-11-3SAT-01 | 1 | 1 | 已解出 |
| 2026-11-3SAT-00 | 1 | 1 | 已解出 |
登录后即可查看你自己的进度并打开各级。
样题
五个样题文件，每个都附带答案。不需要账号。要检查你自己的答案，请在检查页面上打开一个文件。
- SAMPLE-3SAT-01.cnf · 51 个变量，203 个子句 · 答案
- SAMPLE-3SAT-02.cnf · 69 个变量，264 个子句 · 答案
- SAMPLE-3SAT-03.cnf · 41 个变量，159 个子句 · 答案
- SAMPLE-3SAT-04.cnf · 58 个变量，239 个子句 · 答案
- SAMPLE-3SAT-05.cnf · 45 个变量，179 个子句 · 答案
延伸阅读：3-SAT 的参考资料。