/  
Gibt „x² = + 4”, „x = + 2 ⌵ x = ‒ 2”? D.h. sind die Wahrheitsfunktionen nötig? Oder auch: Liefert die Transformation nach den Regeln die beiden Gleichungen in der Verknüpfung „x = + 2 ⌵ x = ‒ 2”?