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