Seite 1 von 1

Lösung 13.4.b

Verfasst: 7. Mär 2017 03:03
von mProg
Wäre diese Lösung auch korrekt:
\(S=_E ((a->(b->(a->(c->S)))) \sqcap(b->(a->(b->(c->S))))\))

Re: Lösung 13.4.b

Verfasst: 7. Mär 2017 17:41
von Markus Tasch
Unter Annahme, dass die Klammern stimmen (das habe ich nicht geprüft), ja.