Gatterschaltungen

Die Formeleingabe erfolgt folgendermaßen: ‘+’ entspricht einem OR, ‘*’ entspricht einem AND und ‘^’ entspricht einem XOR. Die Präzendenzordnung der Operatoren findet Berücksichtigung und kann durch Klammerung ergänzt werden. Einzelne Literale oder geklammerte Ausdrücke können mittels eines ‘-‘ negiert werden. Ein komplexerer Beispielausdruck wäre: -(-(-(a-c-de))+b*-(c+dfg^e)). Falls es zu Überlappungen der Boxen kommt, kann man diese per Drag-And-Drop verschieben. In der Klausur dürft ihr die Bezeichner in₁ usw. weglassen. Außerdem sollten die blauen Endpunkte zur Differenzierung der Negation neglegiert werden.
Formel:OK

Beispiele zum Testen:

-(-(-(a-c-de))+b*-(c+dfg^e)), --a+b, -(-(a+b)), a, -a, ---a, x_1(x_2+x_3)