Gleichungen
Mathematica ermöglicht die Manipulation und Lösung von Gleichungen in einem
breiten Rahmen.
Eine Gleichung wird in Mathematica als logischer Ausdruck aufgefaßt.
Wenn man schreibt
 |
(20.57a) |
so interpretiert Mathematica dies als die Aufstellung einer Identität.
Gibt man
 |
(20.57b) |
weil mit diesem Wert von 
linke und rechte Seite nicht identisch sind.
Die Anweisung 
veranlaßt, die obige Identität in eine Form
zu bringen, die
explizit enthält.
Mathematica stellt das Ergebnis mit Hilfe des logischen ODER wieder in der Form
einer logischen Aussage dar:
In diesem Sinne können logische Operationen mit Gleichungen durchgeführt werden.
Mit der Operation 
können nachfolgend Gleichungen des logischen
Typs wie oben in Transformationsregeln umgewandelt werden.
So ergibt
