Lösung 13.4.b

mProg
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 147
Registriert: 25. Apr 2015 00:10

Lösung 13.4.b

Beitrag von mProg » 7. Mär 2017 03:03

Wäre diese Lösung auch korrekt:
\(S=_E ((a->(b->(a->(c->S)))) \sqcap(b->(a->(b->(c->S))))\))

Markus Tasch
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 124
Registriert: 11. Sep 2015 10:57

Re: Lösung 13.4.b

Beitrag von Markus Tasch » 7. Mär 2017 17:41

Unter Annahme, dass die Klammern stimmen (das habe ich nicht geprüft), ja.
Markus Tasch, M.Sc.
Modeling and Analysis of Information Systems
Department of Computer Science, TU Darmstadt
http://www.mais.informatik.tu-darmstadt.de

Antworten

Zurück zu „Archiv“