raj_mathe
/
logik2021
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

master > master: README.md

This commit is contained in:
RD 2021-05-06 23:34:37 +02:00
parent 28a1e313b3
commit 92c1aa4d61
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -21,5 +21,5 @@ Beispiele aus der Übung:
- `(A1 || (A2 && A1))`
- `((A0 -> A1) -> (A1 -> A0))`
Das Tool ist klug genug um zu erlauben, dass man äußerste Klammern weglässt,
und dass man bspw. `A0 && A1 && A2` statt `((A0 && A1) && A2)` o. Ä. schreiben muss.
Das Tool ist klug genug, um das Weglassen der äußersten Klammern
und `A0 && A1 && A2` statt `((A0 && A1) && A2)` u. Ä. zu zulassen.