Theoretische und technische Informatik - ganz praktisch
Herzlich willkommen auf der Question/Answer-Plattform zu Grundlagen der Informatik II. Wir wünschen Ihnen viel Spaß beim Lernen und Diskutieren!
Loggen Sie sich mit Ihrem KIT-Account (u...) ein, um loszulegen!
Beachten Sie auch diese Informationen zum Schnelleinstieg.
(Nicht-KIT-Studierende beachten bitte diese Informationen.)

Trick zur Vereinfachung des Terms?

+1 Punkt
106 Aufrufe

Hallo, 

wie vereinfache ich den grossen Term zu a∧b = ¬b ∨ ¬c ? Werden die ganz normalen Umformungsregeln fuer logische Ausdruecke hier angewendet oder gibt es da einen Trick?

Vielen Dank im Voraus.

 

Gefragt 25, Sep 2015 in 2014-H-06 von uafjv uafjv Tutor(in) (167,990 Punkte)  

Eine Antwort

+1 Punkt

Hallo,

einen Trick gibt es dabei nicht es wird nur der Term der bei Lösung 1 steht weiter vereinfacht. In der Klammer entsteht kann das (¬a ∨ ¬b) weggelassen werden da sowieso ¬b im hinteren Teil der Klammer erfüllt werden muss (für eine wahre Aussage). Dann bleibt insgesamt nur noch  ¬c∨(¬b ∧ c) was offensichtlich vereinfacht werden kann zu ¬b ∨ ¬c.

Viele Grüße,

Janina (Tutorin)

 

Beantwortet 25, Sep 2015 von uafjv uafjv Tutor(in) (167,990 Punkte)  
...