x:

x:

y:

(\char10003)

(\lightning)

(\char10003)

(\lightning)

[1]

[2]

=

=

Lösung übernehmen

E_1:

E_2:

Lösungen löschen

g_1

g_2

x_1: 1
x_2: 1
Eingabefeld1 = Textfield(x_1)
Eingabefeld2 = Textfield(x_2)
t1(x_1, x_2, x_3) = x_1 + x_2
b1: 2
b3: 2
t2(x_1, x_2, x_3) = x_1 - x_3
b2: 2
g1 = true
g2 = true
Eb1 = Textfield(b1)
Eb2 = Textfield(b2)
L: {}
e1 = false
e2 = false
f1(x, y) = x + y
f2(x, y) = x - y
E1:=f1(x, y) = b1
E2:=f2(x, y) = b2
Et1 = Textfield(f1)
Et2 = Textfield(f2)
w1: f1(x_1, x_2) ≟ b1
w2: f2(x_1, x_2) ≟ b2