Problem Forge
Make each variable true or false so that every clause has at least one true literal. No clause has more than three literals.
(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₃)
This Month's Challenges: 3-SAT
This month's rungs
| rung | solved, all climbers | answers sent, all climbers | status |
|---|---|---|---|
| 2026-11-3SAT-12 | 0 | 0 | unsolved |
| 2026-11-3SAT-11 | 0 | 0 | unsolved |
| 2026-11-3SAT-10 | 0 | 0 | unsolved |
| 2026-11-3SAT-09 | 0 | 0 | unsolved |
| 2026-11-3SAT-08 | 1 | 1 | solved |
| 2026-11-3SAT-07 | 1 | 1 | solved |
| 2026-11-3SAT-06 | 1 | 1 | solved |
| 2026-11-3SAT-05 | 1 | 1 | solved |
| 2026-11-3SAT-04 | 1 | 1 | solved |
| 2026-11-3SAT-03 | 1 | 1 | solved |
| 2026-11-3SAT-02 | 1 | 1 | solved |
| 2026-11-3SAT-01 | 1 | 1 | solved |
| 2026-11-3SAT-00 | 1 | 1 | solved |
Sign in to see your own progress and to open the rungs.
Samples
Five sample files, each with its answer. You need no account. To check your own answer, open a file on the Check page.
- SAMPLE-3SAT-01.cnf · 51 variables, 203 clauses · answer
- SAMPLE-3SAT-02.cnf · 69 variables, 264 clauses · answer
- SAMPLE-3SAT-03.cnf · 41 variables, 159 clauses · answer
- SAMPLE-3SAT-04.cnf · 58 variables, 239 clauses · answer
- SAMPLE-3SAT-05.cnf · 45 variables, 179 clauses · answer
Read more: references for 3-SAT.