(Schlatungs-)Gleichung vereinfachen / Aussagenlogik?
Kann man das noch weiter / besser vereinfachen?
4 Antworten
![](https://images.gutefrage.net/media/user/atoemlein/1449969626178_nmmslarge__2_2_160_160_9d6e83572066d75044787955170af0d4.png?v=1449969626000)
Hey etechniknixgut
Gleiche Handschrift ist wohl kaum Zufall...?
Ist dieses Problem inzwischen gelöst?
![](https://images.gutefrage.net/media/user/Gluglu/1444747053_nmmslarge.jpg?v=1444747053000)
X0(X1xX2xX3)v(X1X2)
![](https://images.gutefrage.net/media/user/Gluglu/1444747053_nmmslarge.jpg?v=1444747053000)
Du hast in Deiner letzten Zeile in drei "&" jeweils X0 dabei... das klammerst Du einfach aus. X1X2 hat kein X0 dabei; daher läßt Du es als v hinter der ausgeklammerten X0- Geschichte stehen.
Sorry; es muß natürlich heißen X0(X1vX2vX3)v(X1X2)... so stimmts (falsche Taste erwischt :-) ).
![](https://images.gutefrage.net/media/default/user/11_nmmslarge.png?v=1551279448000)
Ja... !(X0) v !(X1)*!(X2)
wobei das ! eine Invertierung des folgenden Ausdrucks bedeuten soll... also !(X0) ist X0 invertiert.
v => oder, * => und
Herleitung musst du selbst schauen, ich hab es über KV-Diagramm gemacht, bzw. meinen Logikrechner: https://kmio.de/logikrechner.html
![](https://images.gutefrage.net/media/user/RIDDICC/1514118406711_nmmslarge__377_0_256_256_4d25821de49a0a50641820db6fe23eed.png?v=1514118407000)
- es gibt verschiedene Minimalformen...
- welche sollt ihr denn anstreben?
- WA könnte dir helfen: https://www.wolframalpha.com/input/?i=%28a+and+b%29+or+%28a+and+not++c%29+or+%28not+a+and+c%29
![](https://images.gutefrage.net/media/default/user/8_nmmslarge.png?v=1551279448000)
Wusste gar nicht, das WA das kann :)
Und die Aufgabe war einfach nur: Vereinfache ^^
![](https://images.gutefrage.net/media/user/RIDDICC/1514118406711_nmmslarge__377_0_256_256_4d25821de49a0a50641820db6fe23eed.png?v=1514118407000)
- welche operatoren darfst du denn verwenden?
- AND, OR und NOT? aber nich mehr?
- ich mein: sonst könntest du ja n BLA-Operator definieren, der x0,x1,x2,x3 nimmt und daraus dann das macht, was da steht... den BLA-Operator kannst ja über ne Wertetabelle definieren... LOL
![](https://images.gutefrage.net/media/user/RIDDICC/1514118406711_nmmslarge__377_0_256_256_4d25821de49a0a50641820db6fe23eed.png?v=1514118407000)
- wieviele Klammerungs-Ebenen darfst du denn haben?
- nur drei? also NOT, OR, AND?
- also das wär erlaubt: (((not A) or B) and (A or (not C)))?
- aber das da nicht: (not (((not A) or B) and C))?
- du könntest n Programm schreiben, das einfach alles ausprobiert, was man so tun könnte, und das sich die kürzeste Variante merkt...
- oder du benutzt son graphisches Verfahren...
- oder so...
- habt ihr in der Vorlesung nix dazu gelernt?
- vllt n Lehrbuch? Skript?
![](https://images.gutefrage.net/media/default/user/8_nmmslarge.png?v=1551279448000)
In der Vorlesung habe wir meistens KV Diagramm genutzt. Aber in der Prüfung kann es halt sein, dass wir es algebraisch vereinfachen sollen.
Ich habs mal mit KV ausprobiert, und es geht tatsächlich nicht einfacher außer noch !x0 auszuklammern :)
Und wie bist du da drauf gekommen?