Kennt sich wer mit der Aussagenlogik aus?

Hallo liebe Community, meine Tochter kam heute mit dieser Aufgabe in Informatik aus der Schule heim, obwohl ich fast immer helfen konnte, bin ich dieses Mal etwas ratlos.

Answer 1

[rr1957]

(a) S oder G

(b) S impliziert (M und K)

(c) G impliziert K

(d) K

(e) not M

mehr ist da wohl nicht gefragt. (Hab die logischen Symbole hier ausgeschrieben, da nicht auf der Tastatur ...)

Comments

[MattThomes]

Vielen lieben Dank, wir konnten die anschließende Aufgabe mit Wahrheitstabelle auf dieser Grundlage super lösen. Die ersten drei Aussagen hatten wir selber richtig formuliert, aber die letzten beiden haben wir uns viel zu kompliziert gemacht! LG :)