Wahrheitstafel Implikation

Aufgabe:

Hier bestimmen wir die Wahrheitstafel zu einer logischen Verknüpfung!


Code
:

"Wahrheitstafel Implikation";
aussageform(x):=not x[1] or x[2]$
WT:matrix([true,true],[true,false],[false,true],[false,false])$
wt:args(WT)$
result:map(aussageform,wt)$
wahrheitstafel:[transpose(wt),transpose(result)];

wxMaxima:

wx-wt

Vroomlab:

vroom-wt

image

Lösung mit Maxima Online:
http://maxima-online.org/?inc=r-2137882985