E_0

S_0

S_1

1

1

&

&

&

&

00

01

10

11

a = true
s0 = false
s1 = false
A = (2.5, 13)
B = (5.5, 13)
C = (7.5, 10)
D = (7.5, 7.5)
E = (7.5, 5)
F = (7.5, 2.5)
gatx = (1, 0)
gaty = (0, -2)
g, h, i, j, k, p, l = NICHT(gatx, gaty, A)
m, n, q, r, s, t, a_1 = NICHT(gatx, gaty, B)
b_1, c_1, d_1, e_1, f_1, g_1, h_1 = UND(gatx, gaty, C)
i_1, j_1, k_1, l_1, m_1, n_1, p_1 = UND(gatx, gaty, G)
q_1, r_1, s_1, t_1, a_2, b_2, c_2 = UND(gatx, gaty, D)
d_2, e_2, f_2, g_2, h_2, i_2, j_2 = UND(gatx, gaty, E)
k_2, l_2, m_2, n_2, p_2, q_2, r_2 = UND(gatx, gaty, F)
H = (9, 7)
Vieleck1 = LED(H, gatx, gaty)
s_2 = Segment((1.0, 2.0), (7.0, 2.0))
t_2 = Segment((1.0, 4.5), (7.0, 4.5))
a_3 = Segment((1.0, 7.0), (7.0, 7.0))
c_3 = Segment((2.15, 12.0), (2.15, 0.5))
d_3 = Segment((5.15, 12.0), (5.15, 0.5))
e_3 = Segment((4.0, 12.0), (4.0, 0.5))
f_3 = Segment((7.0, 12.0), (7.0, 0.5))
g_3 = Segment((2.15, 1.0), (7.0, 1.0))
h_3 = Segment((2.15, 3.5), (7.0, 3.5))
i_3 = Segment((5.15, 1.5), (7.5, 1.5))
j_3 = Segment((5.15, 6.5), (7.5, 6.5))
k_3 = Segment((7.0, 4.0), (7.5, 4.0))
l_3 = Segment((7.0, 9.0), (7.5, 9.0))
m_3 = Segment((4.0, 6.0), (7.0, 6.0))
n_3 = Segment((4.0, 8.5), (7.0, 8.5))
I = Intersect(e_3, n_3)
J = Intersect(e_3, m_3)
K = Intersect(c_3, h_3)
L = Intersect(c_3, g_3)
M = Intersect(f_3, l_3)
N = Intersect(d_3, j_3)
O = Intersect(f_3, k_3)
P = Intersect(d_3, i_3)
not1: ¬s1
not2: ¬s0
and3: a ∧ not1 ∧ not2
Q = (9, 9.5)
R = (9, 4.5)
S = (9, 2)
T = Point(gatx)
Vieleck2 = LED(Q, gatx, gaty)
Vieleck3 = LED(R, gatx, gaty)
Vieleck4 = LED(S, gatx, gaty)
b_3 = Segment((0.66, 9.5), (7.0, 9.5))
b = Segment((1.0, 9.5), (1.0, 2.0))
U = Intersect(a_3, b)
V = Intersect(t_2, b)
W = Intersect(s_2, b)
and4: a ∧ (¬s1) ∧ s0
and6: a ∧ s1 ∧ s0
and5: a ∧ s1 ∧ (¬s0)

Tool: LED
Input: A, gatx, gaty
Output: Vieleck1

Vieleck1, a, b, c, d = Polygon(A, A + 0.5 * gatx, A + 0.5 * gatx + 0.5 * gaty, A + 0.5 * gaty)

Tool: UND
Input: gatx, gaty, E
Output: l_1, m_1, p_1, n_1, q_1, r_1, s_1

l_1 = Segment(E, E + gatx)
m_1 = Segment(E, E + gaty)
n_1 = Segment(E + gatx, E + gatx + gaty)
p_1 = Segment(E + gaty, E + gatx + gaty)
q_1 = Segment(E - 0.5 * gatx + 0.25 * gaty, E + 0.25 * gaty)
r_1 = Segment(E - 0.5 * gatx + 0.75 * gaty, E + 0.75 * gaty)
s_1 = Segment(E + gatx + 0.5 * gaty, E + 1.5 * gatx + 0.5 * gaty)

Tool: NICHT
Input: gatx, gaty, A
Output: a, b, c, g, d, e, f

a = Segment(A, A + gatx)
b = Segment(A + gatx, A + gatx + gaty)
c = Segment(A, A + gaty)
d = Segment(A + gaty, A + gatx + gaty)
e = Circle(A + gatx + (0.1, 0.0) + 0.5 * gaty, 0.1)
f = Segment(A + gatx + 0.5 * gaty + (0.2, 0.0), A + gatx + 0.5 * gaty + (0.5, 0.0))
g = Segment(A - 0.5 * gatx + 0.5 * gaty, A + 0.5 * gaty)