Konjunktion und Disjunktion von Aussagen

Aufgabe:

Die Wertetabellen von Konjunktion und Disjunktion für zwei gegebene Aussagen sind zu ermitteln.

Lösung mit wxMaxima:

Konjunktion und Disjunktion.png
Gemacht mit wxMaxima unter Ubuntu 18.04

Ergebnis:

Die Konjunktion ist (nur) wahr, wenn beide Teilaussagen wahr sind.
Die Disjunktion ist (nur) falsch, wenn beide Teilaussagen falsch sind.

Code mit weiteren Verknüpfungen:

W:{true,false};
WT:listify(cartesian_product(W,W));
f(x):=x[1]⋀x[2];
g(x):=x[1]⋁x[2];
h(x):=(¬x[1]⋁x[2])⋀(x[1]⋁¬x[2]);
i(x):=¬h(x);
j(x):=¬x[1]⋁x[2];
Konjunktion:map(f,WT);
Disjunktion:map(g,WT);
Aequivalenz:map(h,WT);
Antivalenz:map(i,WT);
Implikation:map(j,WT);

Noch eine Schaltung:

schaltung
Mit Windows gemacht. Da konnte ich die Symbole für Konjunktion und Disjunktion noch nicht realisieren.