FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Formale Informatik

F1 Blatt 9

F1 Blatt 9 2004-12-12 16:58
vinny
eine Frage…
darf man in der Aufgabe 1. b) "top" und "bottom" benutzen?

Re: F1 Blatt 9 2004-12-12 17:11
Muelli
Ich würde behaupte mal, du _musst_ das bottom benutzen, da die Klauseln mit den negativen Literalen sonst nicht wegzubekommen sind. Für das Top sehe ich keinen Grund des zu benutzen.
Pies

Re: F1 Blatt 9 2004-12-12 19:26
guiltyguy
Ja, ohne top und bottom kann man die Umformungen ja sonst nicht vornehmen.

Re: F1 Blatt 9 2004-12-12 22:42
Muelli
Ja, ohne top und bottom kann man die Umformungen ja sonst nicht vornehmen.
Ohne Top schon. Aber ohne Bottom nicht