Äquivalenz, DNF u. KNF < Maple < Mathe-Software < Mathe < Vorhilfe
|
| Aufgabe | | Finden Sie heraus, wie man in Maple feststellt, ob zwei logische Ausdrücke äquivalent sind, sowie man die disjunktive und die konjunktive Normalform eines logischen Ausdruckes berechnet. |
Kann mir da jemand einen Tipp geben? Ich habe es schon mit:
> with(Logic):
> BooleanSimplify(Ausdruck);
> Canonicalize(Ausdruck, form=CNF);
bzw.
> Canonicalize(Ausdruck, form=DNF);
Der Ausdruck ist mit 3 Variablen z.B.:
(r [mm] \to [/mm] q) [mm] \wedge [/mm] ((p [mm] \vee [/mm] r) [mm] \to \neg [/mm] q) [mm] \wedge [/mm] (( [mm] \neg \vee [/mm] q [mm] \neg [/mm] r) [mm] \to [/mm] p)
versucht aber es klapp nicht wie ich will :/
wo mache ich den (die) Fehler?
--
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hallo,
das Ganze ist kein Problem, wenn man die Hilfe etwas genauer studiert (RTFM;) ):
Canonicalize erwartet an zweiter Stelle eine Liste der verwendeten Variablen. Also müsste Folgendes funktionieren:
with(Logic):
expr := (r &implies q) &and ((p &or r) &implies ¬ q) &and ((¬ q &or ¬ r) &implies p):
dnf := Canonicalize(expr, [p,q,r], form=DNF):
cnf := Canonicalize(expr, [p,q,r], form=CNF):
Der Aufruf
Equivalent(dnf,cnf);
liefert uns tatsächlich die Antwort true.
Gruß
Martin
|
|
|
| |
|
Der erste Teil funktioniert! Danke!
Kann man auch die Displaydarstellung umändern, damit die Symbole für die logischen Ausdrucke dargestellt werden?
habe es mit 2-D Math versucht:
es vorher zu übernehmen auf dieses Blatt, auf alle Blätter,
nacher zu convertierten
es müsste eigentlich mit den Displayeinstellungen zusammenhängen...denke ich mir halt mal. es wird auch gleich die lösung ausgegeben wenn ich eine rechnung eingebe
z.b.: 3+5;
8
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 13:20 Do 19.10.2006 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
