www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Technische Informatik" - Darstellungsformen
Darstellungsformen < Technische Inform. < Praktische Inform. < Hochschule < Informatik < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Technische Informatik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Darstellungsformen: Algebraische Umformung
Status: (Frage) beantwortet Status 
Datum: 03:28 Di 06.11.2012
Autor: emulb

Aufgabe
Beweisen Sie die folgenden Gleichungen durch algebraische Umformung:

(A+B)*( [mm] \overline{B}*(C+AC)+ \overline{B} [/mm] * [mm] \overline{C}= [/mm] A* [mm] \overline{B} [/mm]

Also hab mal etwas versucht aber komme nicht weiter...ist ja auch spät genug gerade.

Bin mir auch net sicher, wo die Klammer da oben zugehen soll. Vielleicht liegt ja mein Fehler darin.

Also:

algebraische Umformung:

Distibutiv:
[mm] (A+B)(\overline{B}C [/mm] + [mm] \overline{B}AC)+\overline{BC}= A\overline{B} [/mm]
[mm] A\overline{B}C+\overline{B}AAC+\overline{B}BC+B\overline{B}AC+\overline{BC}= A\overline{B} [/mm]

Idempotent:
[mm] A\overline{B}C+\overline{B}AC+\overline{B}C+B\overline{B}AC+\overline{BC}=A\overline{B} [/mm]

Absorption:
[mm] B\overline{B}AC [/mm] = [mm] A\overline{B} [/mm]

Da stimmt doch etwas nicht...:/


        
Bezug
Darstellungsformen: Antwort
Status: (Antwort) fertig Status 
Datum: 09:15 Di 06.11.2012
Autor: schachuzipus

Hallo emulb,


> Beweisen Sie die folgenden Gleichungen durch algebraische
> Umformung:
>  
> (A+B)*( [mm]\overline{B}*(C+AC)+ \overline{B}[/mm] * [mm]\overline{C}=[/mm]
> A* [mm]\overline{B}[/mm]
>  Also hab mal etwas versucht aber komme nicht weiter...ist
> ja auch spät genug gerade.
>  
> Bin mir auch net sicher, wo die Klammer da oben zugehen
> soll. Vielleicht liegt ja mein Fehler darin.

Ja, die sollte vor dem "=" schließen!

>  
> Also:
>  
> algebraische Umformung:
>  
> Distibutiv:
>  [mm](A+B)(\overline{B}C[/mm] + [mm]\overline{B}AC)+\overline{BC}= A\overline{B}[/mm]

Du musst [mm] $\overline [/mm] {BC}$ trennen!

Es ist [mm] $\overline{B}\cdot{}\overline C=\overline{B+C}\neq\overline {B\cdot{}C}$ [/mm] (de Morgan)

>  
> [mm]A\overline{B}C+\overline{B}AAC+\overline{B}BC+B\overline{B}AC+\overline{BC}= A\overline{B}[/mm]
>  
> Idempotent:
>  
> [mm]A\overline{B}C+\overline{B}AC+\overline{B}C+B\overline{B}AC+\overline{BC}=A\overline{B}[/mm]
>  
> Absorption:
>  [mm]B\overline{B}AC[/mm] = [mm]A\overline{B}[/mm]
>  
> Da stimmt doch etwas nicht...:/

Linke Seite: [mm] $(A+B)\cdot{}\left[\overline B\cdot{}(C+A\cdot{}C)+\overline B\cdot{}\overline C\right]$ [/mm]

[mm] $=(A+B)\cdot{}\left[\overline B\cdot{}C+\overline{B}\cdot{}A\cdot{}C+\overline B\cdot{}\overline C\right]$ [/mm]

Nun nochmal distributiv ausmultiplizieren.

Beachte dann, dass die Konjugation eines Literals und seinem Negierten eine Null ergibt: [mm] $A\cdot{}\overline [/mm] A=0$

Und $0+A=A$ ...

Damit solltest nach ein paar Umformungen du auf die rechte Seite [mm] $A\cdot{}\overline [/mm] B$ kommen ...

>  



Gruß

schachuzipus

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Technische Informatik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]