Problem Forge
Haz cada variable verdadera o falsa de modo que cada cláusula tenga al menos un literal verdadero. Ninguna cláusula tiene más de tres literales.
(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₃)
Los peldaños de este mes
| peldaño | resueltos, todos los escaladores | respuestas enviadas, todos los escaladores | estado |
|---|---|---|---|
| 2026-11-3SAT-12 | 0 | 0 | sin resolver |
| 2026-11-3SAT-11 | 0 | 0 | sin resolver |
| 2026-11-3SAT-10 | 0 | 0 | sin resolver |
| 2026-11-3SAT-09 | 0 | 0 | sin resolver |
| 2026-11-3SAT-08 | 1 | 1 | resuelto |
| 2026-11-3SAT-07 | 1 | 1 | resuelto |
| 2026-11-3SAT-06 | 1 | 1 | resuelto |
| 2026-11-3SAT-05 | 1 | 1 | resuelto |
| 2026-11-3SAT-04 | 1 | 1 | resuelto |
| 2026-11-3SAT-03 | 1 | 1 | resuelto |
| 2026-11-3SAT-02 | 1 | 1 | resuelto |
| 2026-11-3SAT-01 | 1 | 1 | resuelto |
| 2026-11-3SAT-00 | 1 | 1 | resuelto |
Inicia sesión para ver tu propio progreso y abrir los peldaños.
Problemas de muestra
Cinco archivos de problemas de muestra, cada uno con su respuesta. No necesitas cuenta. Para verificar tu propia respuesta, abre un archivo en la página «Verificar».
- SAMPLE-3SAT-01.cnf · 51 variables, 203 cláusulas · respuesta
- SAMPLE-3SAT-02.cnf · 69 variables, 264 cláusulas · respuesta
- SAMPLE-3SAT-03.cnf · 41 variables, 159 cláusulas · respuesta
- SAMPLE-3SAT-04.cnf · 58 variables, 239 cláusulas · respuesta
- SAMPLE-3SAT-05.cnf · 45 variables, 179 cláusulas · respuesta
Más lecturas: referencias sobre 3-SAT.