Problem Forge
Torne cada variável verdadeira ou falsa de modo que toda cláusula tenha pelo menos um literal verdadeiro. Nenhuma cláusula tem mais de três literais.
(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₃)
Os degraus deste mês
| degrau | resolvido, todos os escaladores | respostas enviadas, todos os escaladores | situação |
|---|---|---|---|
| 2026-11-3SAT-12 | 0 | 0 | não resolvido |
| 2026-11-3SAT-11 | 0 | 0 | não resolvido |
| 2026-11-3SAT-10 | 0 | 0 | não resolvido |
| 2026-11-3SAT-09 | 0 | 0 | não resolvido |
| 2026-11-3SAT-08 | 1 | 1 | resolvido |
| 2026-11-3SAT-07 | 1 | 1 | resolvido |
| 2026-11-3SAT-06 | 1 | 1 | resolvido |
| 2026-11-3SAT-05 | 1 | 1 | resolvido |
| 2026-11-3SAT-04 | 1 | 1 | resolvido |
| 2026-11-3SAT-03 | 1 | 1 | resolvido |
| 2026-11-3SAT-02 | 1 | 1 | resolvido |
| 2026-11-3SAT-01 | 1 | 1 | resolvido |
| 2026-11-3SAT-00 | 1 | 1 | resolvido |
Entre para ver o seu próprio progresso e abrir os degraus.
Problemas de amostra
Cinco arquivos de amostra, cada um com a resposta. Você não precisa de conta. Para verificar sua própria resposta, abra um arquivo na página Verificar.
- SAMPLE-3SAT-01.cnf · variáveis: 51, cláusulas: 203 · resposta
- SAMPLE-3SAT-02.cnf · variáveis: 69, cláusulas: 264 · resposta
- SAMPLE-3SAT-03.cnf · variáveis: 41, cláusulas: 159 · resposta
- SAMPLE-3SAT-04.cnf · variáveis: 58, cláusulas: 239 · resposta
- SAMPLE-3SAT-05.cnf · variáveis: 45, cláusulas: 179 · resposta
Leia mais: referências sobre 3-SAT.