Runde 1
Wiederholung · Spaced Repetition
✅ Nichts fällig — komm heute Abend oder morgen früh wieder.
Runde geschafft
✓ Kontrolle: jede Klausel hat höchstens ein positives Literal — Hornformel.
🛩 Autopilot erreicht — das sitzt im Schlaf.