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)];

Vroomlab:

Programmalternative (mit and() und or()):

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)];