Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- Aussagenlogische Formeln (http://www.informatikerboard.de/board/thread.php?threadid=3082)
Geschrieben von peterparker am 07.06.2016 um 12:03:
Aussagenlogische Formeln
Hallo zusammen,
Ich möchte folgende Aussagen als aussagelogische Formeln formalisieren, bin mir aber nicht ganz sicher dabei:
Der Parmesan ist fertig, wenn die Zwiebeln, Nudeln u Tomaten fertig sind.
Z (und) N (und) T => P
Wenn die Zwiebeln fertig sind, dann sind auch die Tomaten fertig
Z => T
Der Parmesan ist fertig, demnach ist das Gericht fertig.
P => G
Wenn Zwiebeln, Nudeln, Tomaten und Parmesan fertig sind, dann ist das Gericht ebenfalls fertig
(Z (und) N (und) T => P) => G
Das Hackfleisch kann gleichzeitig mit den Nudeln fertiggestellt werden.
Hierbei fällt mir keine Formalisierung ein.
Das (und) steht für das logische und, => für die logische Implikation.
Für euch erscheinen die Fragen wahrscheinlich sehr einfach, ich würde mich aber über hilfreiche Antworten sehr freuen.
Viele Grüße
Forensoftware: Burning Board, entwickelt von WoltLab GmbH