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

 

Über Johnny Weilharter

Direktor i. R. der Bundeshandelsakademie und Bundeshandelssschule in Tamsweg, Österreich
Dieser Beitrag wurde unter Creative Commons, Grundlagen veröffentlicht. Setze ein Lesezeichen auf den Permalink.

Schreibe einen Kommentar

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