Informatiker Board | Druckvorschau: Kv diagramm

Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Technische Informatik (http://www.informatikerboard.de/board/board.php?boardid=7)
--- Kv diagramm (http://www.informatikerboard.de/board/thread.php?threadid=2616)

Geschrieben von Ratte am 24.11.2015 um 19:36:

Kv diagramm

Hallo ich soll die primimplikante bestimmen. Ich hoerte das es die bloecke sind die die meisten einnser umassen und fuer mich ist das das vertikal-block. (Siehe bild)

Kann mir jemand bitte helfen?

Geschrieben von eulerscheZahl am 24.11.2015 um 20:30:

Du hast die Schleife über die 4 Ecken übersehen.

Geschrieben von Ratte am 24.11.2015 um 20:49:

Hallo mal wieder Wink

1.Sind also die 2er einser bloecke die ich markiert habe keine primimplikante? Dennoch sind sie bloecker oder?

2. ist das ein gueltiger 4er nuller-block fuer den maxterm?

3. wenn ich jetzt die maxterme bestimmen moechte werden die variablen zusaetzlich negiert? Heißt also aus a nichtb wird daraus nichta und b?

Geschrieben von Ratte am 24.11.2015 um 20:50:

Bild vergessen

Geschrieben von eulerscheZahl am 24.11.2015 um 20:56:

Weil du alles in ein Bild gemacht hast, ist das etwas schwer auseinanderzuhalten.
Es geht darum, möglichst große Schleifen zu bilden, die nicht redundant sind. Das sind 3 Stück (siehe meinen Anhang im letzten Beitrag).
Es gibt zwar noch eine 3. 4er Schleife (¬W * ¬Z), aber die 1er sind alle schon abgedeckt.
¬W * X aus deiner Lösung muss ¬W * X * Y sein.

Dein 0er Block ist ok.

Geschrieben von Ratte am 24.11.2015 um 21:12:

Ist denn bei nicht y und nicht zz, die zwei 1er ecken rechts durch die nicht x und nicht z abgedeckts? Waere das in dem fall auch nicht redundant?

Wie wuerde ich denn bitte die unteren zwei nuller ausdruecken? Waere das dann z oder nicht w? Oder "z oder nicht y)?

Geschrieben von eulerscheZahl am 24.11.2015 um 21:19:

Ich verstehe die erste Aussage nicht, nimm dir bitte die 5 Minuten und schaue die LaTeX an.
Einen Formeleditor gibt es im Matheboard, negieren kannst du mit \overline{x}.
Die unteren 2 0er sind $[latex]\overline{W} \, \overline{Y} Z[/latex]$ . Die kannst du aber noch mit den obenen beiden 0ern zusammenfassen zu $[latex]\overline{W} Z[/latex]$ .

Wenn du bei mir auf zitieren klickst, siehst du übrigens, wie ich die Formeln geschrieben habe.

Geschrieben von Ratte am 25.11.2015 um 10:13:

Leider kann ich als unregistrierter User kein Latex verwwnden und registrieren kann man sich hier auf der informatikerboard seite auch nicht.

Was ich mit der ersten frage meinte war das die 1er die die 4ecken besetzen zum teil bzw. Zwei 1er genau von den 4er einser vertikalverlaufenden block überdeckt werden.

Und da du ja die 1er mit den 4ecken als primimplikant markiert hast, habe ich mich gefragt ob sie nicht redundant sind, da sie teils überdeckt werden.

Geschrieben von Ratte am 25.11.2015 um 10:19:

Ich habe zudem aus google die methode fuer den maxtherm.

Die Maxterm-Methode unterscheidet sich von der Minterm-Methode lediglich in folgenden Punkten:

Statt Einsen werden Nullen zu Päckchen zusammengefasst.
Ein Päckchen bildet einen Disjunktionsterm (ODER-Verknüpfungen, statt eines Konjunktionsterms).
Die Disjunktionsterme werden konjunktiv (mit UND) verknüpft.
Die Variablen werden zusätzlich einzeln negiert.

Bei den letzten satz wird verlangt das sie zusaetzlich einzeln negiert werden.
Heißt das nachdem ich durch nuller in kv diagramm den logischen ausdruck bestimmt habe wird aus jeder nicht variable eine nicht(nicht variable) und aus einer variable eine nicht variable?

Oder wie ist dasbitte gemeint?

Geschrieben von Karlito am 25.11.2015 um 13:06:

Wenn Du einen Block hast, der aus 0en besteht und den Term a*b repräsentiert, dann wird am Ende daraus (-a)+(-b). Die Variablen werden negiert, die Konjunktion durche eine Disjunktion ersetzt und die Blöcke werden untereinander durch Konjunktion verknüpft.

Gruß,

Karlito

Geschrieben von Ratte am 25.11.2015 um 17:42:

Danke karlito!

Kann jemand bittr kontrollieren ob die logischen ausdruecke korrekt sind? Sowohl fuer max als auch miniterme.

Geschrieben von euler_Gast am 25.11.2015 um 18:05:

Aus Neugier, ob LaTeX für Gäste wirklich gesperrt ist, bin ich mal abgemeldet.

Minterm: $[latex]\overline{x}\,\overline{z} \vee \overline{y} \, \overline{z} \vee \overline{w}xy[/latex]$
Maxterm: $[latex](\overline{y} \vee \overline{z}) \wedge (x \vee \overline{z}) \wedge (\overline{w} \vee \overline{x} \vee \overline{y})[/latex]$

Geschrieben von Ratte am 25.11.2015 um 22:50:

Zitat:

Original von euler_Gast
Aus Neugier, ob LaTeX für Gäste wirklich gesperrt ist, bin ich mal abgemeldet.

Maxterm: $[latex](\overline{y} \vee \overline{z}) [/latex]$

Ich verstehe gerade nicht wie du hierauf kommst?

Muesste es nicht:
$[latex](\{y} \vee \overline{z}) [/latex]$

Sein?

Geschrieben von Ratte am 25.11.2015 um 22:51:

$[latex](y \vee \overline{z}) [/latex]$

Geschrieben von Karlito am 25.11.2015 um 22:56:

Wie kommst Du denn darauf?

$[latex]<br /> (\overline{y} \vee \overline{z})<br /> [/latex]$

ist die Repräsentation des 4er-Blocks, der aus den 4 Ecken besteht.

Gruß,

Karlito