search

fmidue / logic-tasks

0 stars 1 forks source link

Update der Eingabe-Legende bei dem Resolve task #93

Closed nimec01 closed 7 months ago

nimec01 commented 7 months ago

Wie in #86 besprochen, implementiert.

Beachten Sie dabei die folgenden möglichen Schreibweisen:
>>>>Negation: <-, ~, nicht> <<<<

>>>>Nicht-leere Klausel: <{ ... }> <<<<

>>>>Leere Klausel: <{ }> <<<<