Problem Forge
Haz cada variable verdadera o falsa de modo que cada cláusula tenga al menos un literal verdadero.
(x₁ ∨ x₂ ∨ x₃)
∧ (¬x₁ ∨ ¬x₂)
x₁ = 1, x₂ = 0, x₃ = 0
(x₁ ∨ x₂)
∧ (¬x₁ ∨ x₂)
∧ (x₁ ∨ ¬x₂)
∧ (¬x₁ ∨ ¬x₂)
Los retos de este mes: Satisfacibilidad booleana (SAT)
Los peldaños de este mes
| peldaño | resueltos, todos los escaladores | respuestas enviadas, todos los escaladores | estado |
|---|---|---|---|
| 2026-11-SAT-12 | 0 | 0 | sin resolver |
| 2026-11-SAT-11 | 0 | 0 | sin resolver |
| 2026-11-SAT-10 | 0 | 0 | sin resolver |
| 2026-11-SAT-09 | 0 | 0 | sin resolver |
| 2026-11-SAT-08 | 1 | 1 | resuelto |
| 2026-11-SAT-07 | 1 | 1 | resuelto |
| 2026-11-SAT-06 | 1 | 1 | resuelto |
| 2026-11-SAT-05 | 1 | 1 | resuelto |
| 2026-11-SAT-04 | 1 | 1 | resuelto |
| 2026-11-SAT-03 | 1 | 1 | resuelto |
| 2026-11-SAT-02 | 1 | 1 | resuelto |
| 2026-11-SAT-01 | 1 | 1 | resuelto |
| 2026-11-SAT-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-SAT-01.cnf · 35 variables, 141 cláusulas · respuesta
- SAMPLE-SAT-02.cnf · 32 variables, 167 cláusulas · respuesta
- SAMPLE-SAT-03.cnf · 27 variables, 137 cláusulas · respuesta
- SAMPLE-SAT-04.cnf · 28 variables, 155 cláusulas · respuesta
- SAMPLE-SAT-05.cnf · 28 variables, 119 cláusulas · respuesta
Más lecturas: referencias sobre Satisfacibilidad booleana (SAT).