Boolsche Algebra de Morgan

Gast #1472933 
Hallo,
wie kommt man da drauf: A∨B ≡ ¬(¬A)∨¬(¬B) ≡ ¬(¬A ∧ ¬B)

Also besonders vom 2. zum 3. Schritt. Vom 1. um 3. komme ich einfach da 
muss man ja einfach aus oder und machen, dann beide Variablen negieren 
und das Ganze negieren. Aber wie leitet sich das ganze über den 2. 
Schitt her?
Antwort Zitieren Bearbeiten Thread verschieben Thread sperren Langsamer Modus Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Melden Danke 
Was ergibt die Verneinung einer Verneinung?

A∨B ≡ ¬( ¬( A∨B ) )

De Morgan anwenden um die innere Klammer aufzulösen

¬( ¬( A∨B ) ) ≡ ¬( ¬A ∧ ¬B )

und nochmal De Morgan um die noch verbliebene Klammer aufzulösen

¬( ¬A ∧ ¬B )  ≡  ¬¬A ∨ ¬¬B
Antwort Zitieren Bearbeiten Löschen Melden Danke
Gast 
Danke jetzt habe ich das verstanden. Ich habe nicht gesehen, dass man 
die Negation für beide Variablen anwenden kann. Also das gilt:

¬¬A∨¬¬B≡ ¬( ¬( A∨B ) )
Antwort Zitieren Bearbeiten Löschen Melden Danke
Gast 
wobei ich sehe gerade das geht ja auch nicht so direkt. Weil 
¬A∨¬B≠¬(A∨B). Der Herleitungsweg ist einfach anders. Über die Negation 
beider Variablen. Ich wollte ja aber eigentlich wissen wie man das über 
die Negation der Einzelnen Variablen hin bekommt.
Antwort Zitieren Bearbeiten Löschen Melden Danke 
Peter M. schrieb:
> wobei ich sehe gerade das geht ja auch nicht so direkt. Weil
> ¬A∨¬B≠¬(A∨B).

Das wird ja auch nirgends benutzt. Du musst genauer schauen.
Jedesmal wenn ein NICHT in die Klammer hineingezogen wird, dreht sich 
innerhalb der Klammer das UND zu einem ODER um (bzw. umgekehrt). Genau 
das ist der De Morgan.
Antwort Zitieren Bearbeiten Löschen Melden Danke 
Peter M. schrieb:
> wobei ich sehe gerade das geht ja auch nicht so direkt. Weil
> ¬A∨¬B≠¬(A∨B). Der Herleitungsweg ist einfach anders. Über die Negation
> beider Variablen. Ich wollte ja aber eigentlich wissen wie man das über
> die Negation der Einzelnen Variablen hin bekommt.

Die Negation einer Negation ändert das Ergebnis nicht

  A ==  nicht nicht A
Antwort Zitieren Bearbeiten Löschen Melden Danke
Gast 
Das ist mir schon alles klar. Nur ich wollte ja wissen, wie man es 
darüber herleitet:¬(¬A)∨¬(¬B) du hast ja beide Variablen doppelt negiert 
und nicht beide jeweils einzeln.
Antwort Zitieren Bearbeiten Löschen Melden Danke
Thread beobachten

Antwort schreiben

Eine eigene Frage? Dieser Thread ist über 17 Jahre alt. Stell sie in einem eigenen Thread – dort lesen mehr Leute mit, und sie wird öfter und schneller beantwortet.

Neuen Thread starten

Eine Lösung, Ergänzung oder Rückmeldung zu diesem Thread? Dann antworte hier.

Formatierung
  • [c]C-Code[/c]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] – Link zu einem Artikel
  • Verweis auf einen anderen Beitrag: Rechtsklick auf dessen Beitrags-ID (#8078628), „Adresse kopieren“, in den Text einfügen

Mehr zur Formatierung

Längeren Sourcecode als Anhang, nicht in den Text. JPG nur für Fotos und Scans; Zeichnungen und Screenshots als PNG oder GIF. Siehe Bildformate.

Dein Name und deine E-Mail-Adresse

Schon registriert? Anmelden

Wird nicht angezeigt. Wir schicken dir einen Link; sobald du damit bestätigst, erscheint dein Beitrag.

Mit dem Abschicken legst du einen kostenlosen Account an und erkennst die Nutzungsbedingungen und die Datenschutzerklärung an.