Problem Forge
Mache jede Variable wahr oder falsch, sodass jede Klausel mindestens ein wahres Literal hat.
(x₁ ∨ x₂ ∨ x₃)
∧ (¬x₁ ∨ ¬x₂)
x₁ = 1, x₂ = 0, x₃ = 0
(x₁ ∨ x₂)
∧ (¬x₁ ∨ x₂)
∧ (x₁ ∨ ¬x₂)
∧ (¬x₁ ∨ ¬x₂)
Die Herausforderungen dieses Monats: Boolesches Erfüllbarkeitsproblem (SAT)
Die Sprossen dieses Monats
| Sprosse | gelöst, alle Kletterer | gesendete Antworten, alle Kletterer | Status |
|---|---|---|---|
| 2026-11-SAT-12 | 0 | 0 | ungelöst |
| 2026-11-SAT-11 | 0 | 0 | ungelöst |
| 2026-11-SAT-10 | 0 | 0 | ungelöst |
| 2026-11-SAT-09 | 0 | 0 | ungelöst |
| 2026-11-SAT-08 | 1 | 1 | gelöst |
| 2026-11-SAT-07 | 1 | 1 | gelöst |
| 2026-11-SAT-06 | 1 | 1 | gelöst |
| 2026-11-SAT-05 | 1 | 1 | gelöst |
| 2026-11-SAT-04 | 1 | 1 | gelöst |
| 2026-11-SAT-03 | 1 | 1 | gelöst |
| 2026-11-SAT-02 | 1 | 1 | gelöst |
| 2026-11-SAT-01 | 1 | 1 | gelöst |
| 2026-11-SAT-00 | 1 | 1 | gelöst |
Melde dich an, um deinen eigenen Fortschritt zu sehen und die Sprossen zu öffnen.
Probeaufgaben
Fünf Dateien mit Probeaufgaben, jede mit ihrer Antwort. Du brauchst kein Konto. Um deine eigene Antwort zu prüfen, öffne eine Datei auf der Seite „Prüfen“.
- SAMPLE-SAT-01.cnf · 35 Variablen, 141 Klauseln · Antwort
- SAMPLE-SAT-02.cnf · 32 Variablen, 167 Klauseln · Antwort
- SAMPLE-SAT-03.cnf · 27 Variablen, 137 Klauseln · Antwort
- SAMPLE-SAT-04.cnf · 28 Variablen, 155 Klauseln · Antwort
- SAMPLE-SAT-05.cnf · 28 Variablen, 119 Klauseln · Antwort
Mehr dazu: Literatur zu Boolesches Erfüllbarkeitsproblem (SAT).