Bonjour ,
quelqu'un sait-il comment simplifier une expression logique avec Maxima?
quelque chose du genre simplify( not (p and q) or p);
Merci
Dominique SOUDIERE
/* [wxMaxima batch file version 1] [ DO NOT EDIT BY HAND! ]*/
/* [ Created with wxMaxima version 11.08.0 ] */
/* [wxMaxima: comment start ]
Les constantes logiques
[wxMaxima: comment end ] */
/* [wxMaxima: input start ] */
true;
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
false;
/* [wxMaxima: input end ] */
/* [wxMaxima: comment start ]
Les connecteurs
[wxMaxima: comment end ] */
/* [wxMaxima: input start ] */
p and q;
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
p or q;
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
not p;
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
not(p and q);
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
not (p or q);
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
not not p;
/* [wxMaxima: input end ] */
/* [wxMaxima: comment start ]
Création d'un nouveau connecteur
[wxMaxima: comment end ] */
/* [wxMaxima: input start ] */
infix ("=>", 41, 41)$
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
"=>"(p, q) := ((not (p)) or (q));
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
true => false;
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
false => false;
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
p => q;
/* [wxMaxima: input end ] */
/* [wxMaxima: comment start ]
Table de vérité d'une proposition
[wxMaxima: comment end ] */
/* [wxMaxima: input start ] */
a:[true,false];
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
b:[true,false];
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
c:[true,false];
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
Implique(p,q):=p =>q;
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
outermap(Implique, a,b);
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
P(a,b):=(not a or b) =>(a and not b);
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
outermap(P, a,b);
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
Q(a,b,c):=((not a or b) and c) =>((a and not b)or c);
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
outermap(Q, a,b,c);
/* [wxMaxima: input end ] */
/* [wxMaxima: comment start ]
Test 1:
[wxMaxima: comment end ] */
/* [wxMaxima: input start ] */
p:[true,false];
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
q:[true,false];
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
r:[true,false];
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
P1(p,q,r):=(p and q)=>r;
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
P2(p,q,r):=(p=>q) or (q=>r);
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
outermap(P1, p,q,r);
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
outermap(P2, p,q,r);
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
P3(p,q,r):=((not p) and q)=>r;
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
P4(p,q,r):=((not p)=> r)or (q=>r);
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
outermap(P3, p,q,r);
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
outermap(P4, p,q,r);
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
kill(p,q);
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
is((not p) and q=Implique(p,q));
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
equal((not p) or q,Implique(p,q));
/* [wxMaxima: input end ] */
/* Maxima can't load/batch files which end with a comment! */
"Created with wxMaxima"$
------------------------------------------------------------------------------
Try before you buy = See our experts in action!
The most comprehensive online learning library for Microsoft developers
is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
Metro Style Apps, more. Free future releases when you subscribe now!
http://p.sf.net/sfu/learndevnow-dev2
_______________________________________________
Maxima-lang-fr mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/maxima-lang-fr
