Aussagenlogik

Aufgabe: Die Negation, Konjunktion und Disjunktion nachbilden.

Programmcode:

nicht(u):=1-u;
und(u,v):=u*v;
oder(u,v):=u+v-u*v;
„—————–„;
wahr:1;
falsch:0;
„—————–„;
nicht(wahr);
nicht(falsch);
„—————–„;
x:[[wahr,wahr],[wahr,falsch],[falsch,wahr],[falsch,falsch]];
konjunktion:makelist(und(x[i][1],x[i][2]),i,1,4);
disjunktion:makelist(oder(x[i][1],x[i][2]),i,1,4);
[transpose(x),transpose(konjunktion),transpose(disjunktion)];

Ausführung mit Maxima Onlinehttp://maxima-online.org/?inc=r1762559277

Programmalternative:

X:[[1,2],[3,4],[5,6],[7,8]];
add(x):=x[1]+x[2];
map(add,X);
X:[[true,true],[true,false],[false,true],[false,false]];
und(x):=x[1]and x[2];
konjunktion:map(und,X);
oder(x):=x[1]or x[2];
disjunktion:map(oder,X);
[transpose(X),transpose(konjunktion),transpose(disjunktion)];

Ausführung mit Maxima Online: http://maxima-online.org/?inc=r71988560

 

Kommentar verfassen

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:

WordPress.com-Logo

Du kommentierst mit Deinem WordPress.com-Konto. Abmelden / Ändern )

Twitter-Bild

Du kommentierst mit Deinem Twitter-Konto. Abmelden / Ändern )

Facebook-Foto

Du kommentierst mit Deinem Facebook-Konto. Abmelden / Ändern )

Google+ Foto

Du kommentierst mit Deinem Google+-Konto. Abmelden / Ändern )

Verbinde mit %s