Darstellung Wahrheitstabelle < Maple < Mathe-Software < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 12:27 Do 12.10.2006 | | Autor: | Helot |
| Aufgabe | Kommissar K hat 3 Tatverdächtige: P, Q und R. Er weiß:
(a) Ist R schuldig, so ist Q Mittäter.
(b) Wenn sich P oder R als Täter herausstellen, dann ist Q unschuldig.
(c) Ist aber Q oder R unschuldig, dann muss P ein Täter sein.
Verwenden sie Maple, um den Täter zu finden. |
Hallo,
Wie kann ich in Maple eine TruthTable in Tabellenform ausgeben? Und zusätzlich mit Buchstaben versehen? Es ist mit der normalen Ausgabe unmöglich Wahrheitswerte einer Variablen zuzuordnen!
Bsp:
Ich schreibe ( nur zur Erläuterung ):
with(Logic):
TruthTable((a &and b) &or ¬ c, [a, b, c], form=MOD2);
Dann ist die Ausgabe:
table[(1,0,0)=1,(1,1,0)=1,(1,0,1)=0,(0,0,1)=0,(0,0,0)=1,(0,1,0)=1,(1,1,1)=1,(0,1,1)=0])
Und ich hätte gerne:
a b c (a &and b) &or ¬ c
w w w x
w w f x
w f w x
... usw. (wie halt eine normale Wahrheitstabelle aussieht!
Und wenn das nicht funktioniert, gibt es irgendeine andere Darstellung, sodass ich mit Sicherheit sagen kann welchem a oder b oder c welcher Ausgabewert zugewiesen wird?
Der logische Ausdruck zu obigem Beispiel:
(R &implies Q) &and ((P &or R) &implies ¬ Q) &and ((¬ Q &or ¬ R) &implies P)
Vielen Dank schon mal im Voraus, mfg,
LExE
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hallo,
soweit ich weiß, gibt es keine solche Funktion in Maple. Aber Maple ist flexibel... Vielleicht hilft dir das hier weiter:
![[a]](/images/paperclip.gif "Dateianhänge") Datei-Anhang
Ich denke, das Beispiel erklärt, wie man diese Prozedur anwendet.
Übrigens sieht es nur einigermaßen nett aus, wenn die Variablen aus einzelnen Buchstaben bestehen. Wenn nicht, wird's hässlich.
Gruß
Martin
Dateianhänge:
Anhang Nr. 1 (Typ: txt) [nicht öffentlich]
Anhang Nr. 2 (Typ: mws) [nicht öffentlich]
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 00:01 Sa 14.10.2006 | | Autor: | BKM |
Guten Abend.
Ich denke unter dieser Rubrik : Logic[TruthTable] - construct the truth table of a Boolean expression in Maple , ist die Ausgabe in Tabellenform ( eventuell die Tabelle etwas manipulieren) moeglich. Ein weiterer Hinweis ist dann bei anklicken von: truth-table zu finden. Viel Erfolg
|
|
|
|
