Beweisen mit (Umformungs)axiom < Krypt.+Kod.+Compalg. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 20:30 Mo 31.10.2011 | | Autor: | Weonde |
| Aufgabe | | Beweisen oder widerlegen Sie die folgenden AUssagen mit den bekannten (Umformungsaxiomen) |
Guten Abend,
ich verzweifle gerade etwas an dem richtigen Ansatz für meine Übungsaufgabe.
Die o.g. Aufgabenstellung soll an
(A+B)(B'(C+AC)+B'C')=AB' angewendet werden. ('=Negation)
Ich hoffe, es kann mir hier jemand einen kleinen Denkanstoß geben?
Mein eigener Ansatz beginnt damit, dass ich die Klammern versuche aufzulösen, also bei dem Beispiel mit
(A+B)(B'(C+AC)+B'C')=AB'
(B'C+AB'+B'C'+B'+C')
= (A+B)(B'C+AB'+B'C+B'+C')=AB'
-und nun würden bei meinem Wissensstand die doppelten Negation zu einem einfachen positiven Wert werden?
Allerdings fehlt mir nun die Vorstellung, wie genau dies aussehen und realisiert werden soll?
Ich hoffe auf einen Gedankenanstoß, der Klarheit verschafft.
Vielen Dank!
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 17:28 Di 01.11.2011 | | Autor: | barsch |
Hallo,
> Beweisen oder widerlegen Sie die folgenden AUssagen mit den
> bekannten (Umformungsaxiomen)
> Guten Abend,
>
> ich verzweifle gerade etwas an dem richtigen Ansatz für
> meine Übungsaufgabe.
>
> Die o.g. Aufgabenstellung soll an
>
> (A+B)(B'(C+AC)+B'C')=AB' angewendet werden. ('=Negation)
>
> Ich hoffe, es kann mir hier jemand einen kleinen
> Denkanstoß geben?
>
> Mein eigener Ansatz beginnt damit, dass ich die Klammern
> versuche aufzulösen, also bei dem Beispiel mit
die Idee ist doch schon mal gut.
>
> (A+B)(B'(C+AC)+B'C')=AB'
> (B'C+AB'+B'C'+B'+C')
> = (A+B)(B'C+AB'+B'C+B'+C')=AB'
So, wie ich das sehe, kommst du ein wenig durcheinander.
(A+B)(B'(C+AC)+B'C')=(A+B)(B'C+AB'C+B'C')=(A+B)(B'(C+C')+AB'C)=...
Die Regeln musst du hinschreiben. Was ist nun (C+C')? Wenn du das hingeschrieben hast, musst du die Klammern weiter auflösen. Dabei brauchst du u.a. eine Regel, die etwas über B'B=? aussagt.
Versuche es erstmal weiter und wenn du festhängst, poste deine Schritte soweit, wie du gekommen bist und dann sehen wir weiter...
> -und nun würden bei meinem Wissensstand die doppelten
> Negation zu einem einfachen positiven Wert werden?
>
> Allerdings fehlt mir nun die Vorstellung, wie genau dies
> aussehen und realisiert werden soll?
>
> Ich hoffe auf einen Gedankenanstoß, der Klarheit
> verschafft.
>
> Vielen Dank!
>
Gruß
barsch
|
|
|
|
