Trick zur Vereinfachung des Terms?

Question

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.

 

Answer 1

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)