Tipps und Tricks zu DERIVE

Ich möchte Wahrheitstafeln erstellen, die mit Wahrheitswerten 0 und 1 arbeiten.

In DERIVE sind die Operatoren AND und OR für Konjunktion und Disjunktion verfügbar. Damit können Wahrheitstafeln leicht erstellt werden, wie zB:

AND und OR lassen sich aber auch über MIN und MAX definieren:

a AND b entspricht MIN(a,b) und a OR b entspricht MAX(a,b). Das obige Beispiel lautet dann mit dieser Formulierung:

Auch die Negation lässt sich einfach erzeugen: neg(x):=1-x.