Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Umformung nochmal kurz mit logischen ausdrücken

Umformung nochmal kurz mit logischen ausdrücken

Universität / Fachhochschule

Tags: logik

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
blackrider16

blackrider16 aktiv_icon

00:57 Uhr, 19.07.2018

Antworten
Abend,
ich habe das Umformung noch nicht vollständig verstanden

Ich habe diesen Ausdruck

¬((A∧B) ∨ (A∧C)) ∨ (¬A∧¬B∧C)

Diese Schritte habe ich bisher angewendet:

/ De Morgan aufgelöst

(¬A∨¬B)∧(¬A∨¬C)∨(¬A∧¬B∧C)

/ Nun könnte ich Distributiv anwenden

¬A∨(¬B∧¬C) ∨ (¬A∧¬B∧C)


/ hier hargt es dann am Problem ich weiß nicht wie ich weiter umformen soll um auf das

Ergebnis: ¬A∨((¬B∧¬C) zu kommen

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich benötige bitte nur das Ergebnis und keinen längeren Lösungsweg."
Online-Nachhilfe in Mathematik
Antwort
abakus

abakus

07:27 Uhr, 19.07.2018

Antworten
Lass das ¬A vorn stehen
und ziehe als nächstes aus (¬B∧¬C) ∨ (¬A∧¬B∧C) den Ausdruck
¬B mit dem Distributivgesetz raus.
Antwort
Respon

Respon

08:04 Uhr, 19.07.2018

Antworten
deleted
blackrider16

blackrider16 aktiv_icon

18:37 Uhr, 19.07.2018

Antworten
Wie genau meinst du das mit den Distributivgesetz also ¬B aus beiden rausziehen?
Ich habe doch nur linke Seite wo ich das Distributiv anweden kann um die Klammer aufzulösen.

Rechts sehe ich nur das Assoziativgesetz.


Antwort
Respon

Respon

19:38 Uhr, 19.07.2018

Antworten
Machen wir bei der Zeile weiter:

¬A(¬B¬C)(¬A¬BC)

Die Disjunktion ist kommutativ.

¬A(¬B¬C)(¬A¬BC)[¬A(¬A¬BC)](¬B¬C)

Nun verwende für die eckige Klammer das Absorptionsgesetz :X(XY)X , hier also ¬A(¬A¬BC)¬A

also

¬A(¬B¬C)(¬A¬BC)[¬A(¬A¬BC)](¬B¬C)¬A(¬B¬C)

Bezüglich log. Gesetze siehe z.B. hier :
de.wikipedia.org/wiki/Formelsammlung_Logik#Logische_Grundgesetze

Frage beantwortet
blackrider16

blackrider16 aktiv_icon

19:50 Uhr, 19.07.2018

Antworten
Ah vielen Dank ich habe das Assoziativ nicht angewendet deswegen kam ich nicht auf die Lösung...