Problem Forge
اجعل كل متغيّر صحيحًا أو خطأً بحيث تحتوي كل عبارة على حرفيّة صحيحة واحدة على الأقل. لا تحتوي أي عبارة على أكثر من ثلاث حرفيّات.
(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₃)
درجات هذا الشهر
| الدرجة | محلولة، كل المتسلّقين | الإجابات المرسلة، كل المتسلّقين | الحالة |
|---|---|---|---|
| 2026-11-3SAT-12 | 0 | 0 | غير محلولة |
| 2026-11-3SAT-11 | 0 | 0 | غير محلولة |
| 2026-11-3SAT-10 | 0 | 0 | غير محلولة |
| 2026-11-3SAT-09 | 0 | 0 | غير محلولة |
| 2026-11-3SAT-08 | 1 | 1 | محلولة |
| 2026-11-3SAT-07 | 1 | 1 | محلولة |
| 2026-11-3SAT-06 | 1 | 1 | محلولة |
| 2026-11-3SAT-05 | 1 | 1 | محلولة |
| 2026-11-3SAT-04 | 1 | 1 | محلولة |
| 2026-11-3SAT-03 | 1 | 1 | محلولة |
| 2026-11-3SAT-02 | 1 | 1 | محلولة |
| 2026-11-3SAT-01 | 1 | 1 | محلولة |
| 2026-11-3SAT-00 | 1 | 1 | محلولة |
سجّل الدخول لترى تقدّمك ولتفتح الدرجات.
المسائل التجريبية
خمسة ملفات تجريبية، مع كل منها إجابته. لا تحتاج إلى حساب. للتحقق من إجابتك، افتح ملفًا في صفحة «تحقّق».
- SAMPLE-3SAT-01.cnf · المتغيّرات: 51، العبارات: 203 · الإجابة
- SAMPLE-3SAT-02.cnf · المتغيّرات: 69، العبارات: 264 · الإجابة
- SAMPLE-3SAT-03.cnf · المتغيّرات: 41، العبارات: 159 · الإجابة
- SAMPLE-3SAT-04.cnf · المتغيّرات: 58، العبارات: 239 · الإجابة
- SAMPLE-3SAT-05.cnf · المتغيّرات: 45، العبارات: 179 · الإجابة
للمزيد: مراجع 3-SAT.