Wie komme ich von ((A oder F) und (B oder F)) und ((c oder D) und (e oder C)) zu (A∧B∧C)∨(A∧B∧D∧E)∨(C∧F)∨(F∧D∧E) Beide Aussagen sind definitiv äquivalent
:
Bearbeitet durch User
- Aufschreiben der Einzelschritte oder - konzentriertes Durcharbeiten oder - Wertetabelle oder - Farbstifte? oder - Prolog-Programm zur Aushilfe..
rbx schrieb: > - Aufschreiben der Einzelschritte > oder > - konzentriertes Durcharbeiten > oder > - Wertetabelle > oder > - Farbstifte? > oder > - Prolog-Programm zur Aushilfe.. ok mir gehts darum welche Operationen anzuwenden sind. Schritt für Schritt wenn es geht. Erster Ansatz würde auch reichen
Umwandlung knf in dnf wäre doch hier das Stichwort? KV Diagramm mit soviel variablen... :(
Klaus S. schrieb: > (A∧B∧C)∨(A∧B∧D∧E)∨(C∧F)∨(F∧D∧E) Du brauchst kein KV Diagramm und noch nicht einmal eine Wertetabelle. Die minimierte Formel ist doch schon vorhanden. Jetzt gilt es aus der Formel die Schaltung zu zeichnen: Es sind nur 4 ODER-Gatter mit je 2, 3 und 4 Eingängen. Die müssen danach einfach nur noch mit einem 4-fach UND-Gatter verknüpft werden.
Klaus S. schrieb: > Wie komme ich von http://wwwpub.zih.tu-dresden.de/~ss17/studium/winter/infet1/docs/einige-regeln.pdf
Blockschaltbild ist bekannt, daran sieht man sofort, das beide übereinstimmen. ICh würde aber gerne "rechnersich" des BEweis führen. Nicht mit der Methode Diagramm oder Wertetabelle. Knf und dnf scheinen der Ansatz zu sein
Hallo, Klaus S. schrieb: > Wie komme ich von > > ((A oder F) und (B oder F)) und ((c oder D) und (e oder C)) > > zu > > (A∧B∧C)∨(A∧B∧D∧E)∨(C∧F)∨(F∧D∧E) > > Beide Aussagen sind definitiv äquivalent ((A oder F) und (B oder F)) und ((C oder D) und (E oder C)) = (wegen Distributivgesetze) =( ((A und B) oder F) und ((D und E) oder C))= (wegen mehrmaliger Anwendung der Distributivgesetze (Aussagenlogik.jpg)) =( ((A und B) und (D und E)) oder ((A und B) und C) oder ((F und (D und E)) oder (F und C)) MfG egonotto
Klaus S. schrieb: > ((c oder D) und (e oder C)) es wäre zu empfehlen, bevor man mit dem "Beweisen" anfängt, möglichst auf einfache Ausdrücke hinzuarbeiten. Aber diese ganzen Regeln kann ich oft viel besser mental verfrühstücken, wenn ich mir das ein paar mal auf der Binärebene ansehe, meistens 2 oder 4 Bit.
Dunno.. schrieb: > KV Diagramm mit soviel variablen... :( https://de.wikipedia.org/wiki/Karnaugh-Veitch-Diagramm#Erweiterung_des_Symmetriediagramms_f%C3%BCr_mehr_als_4_Eingangsvariablen Sieht zuerst etwas wüst aus, aber wenn man das System verstanden hat kann das auch ein dressierter Affe!
:
Bearbeitet durch User
Bitte melde dich an um einen Beitrag zu schreiben. Anmeldung ist kostenlos und dauert nur eine Minute.
Bestehender Account
Schon ein Account bei Google/GoogleMail? Keine Anmeldung erforderlich!
Mit Google-Account einloggen
Mit Google-Account einloggen
Noch kein Account? Hier anmelden.