KLEINE SCHALTER. GROSSE LOGIK.
Mach die Formel wahr.
Eine Aufgabe, viele Möglichkeiten. Findest du eine Belegung, bei der alles stimmt?
01 / DEINE AUFGABE
UND-VerknüpfungDie SAT-Formel
Alle Klammern müssen wahr sein. In jeder Klammer reicht ein wahres Teilstück.
02 / DEINE BELEGUNG
Du hast die Schalter.
W = wahr · F = falsch. Die Formel reagiert sofort.
Eine Variable auf F ist kein Fehler! Zum Beispiel ist ¬A wahr, wenn A falsch ist.
So liest du die Formel
∨ ODERMindestens ein Teil muss wahr sein.
∧ UNDBeide Seiten müssen wahr sein.
¬ NICHTKehrt den Wert einer Variable um.
Jede neue Aufgabe ist zufällig und lösbar. Rot heißt: Diese Belegung passt noch nicht. Grün heißt: Du hast eine Lösung gefunden!