A

B

C

A

B

C

Linke Seite:

Rechte Seite:

&

&

≥1

≥1

≥1

A = (4.5, 10)
gatx = (1, 0)
gaty = (0, -2)
a_2, b_2, c_2, d, e, f, g = UND(gatx, gaty, A)
B = (2.5, 9)
C = (2.5, 5.5)
D = (2.5, 3)
E = (4.5, 4.5)
h, i, j, k, l, m, n = UND(gatx, gaty, E)
p, q, r, s, t, a_1, b_1 = UND(gatx, gaty, D)
c_1, d_1, e_1, f_1, g_1, h_1, i_1 = UND(gatx, gaty, C)
j_1, k_1, l_1, m_1, n_1, p_1, q_1 = UND(gatx, gaty, B)
a = false
b = false
c = true
o = false
u = true
v = false
r_1 = Segment((1.5, 9.5), (4.0, 9.5))
s_1 = Segment((4.0, 8.0), (4.0, 8.5))
t_1 = Segment((1.5, 8.5), (2.0, 8.5))
d_2 = Segment((1.5, 7.5), (2.0, 7.5))
e_2 = Segment((1.5, 5.0), (2.0, 5.0))
f_2 = Segment((1.5, 4.0), (2.0, 4.0))
g_2 = Segment((1.5, 1.5), (2.0, 1.5))
h_2 = Segment((2.0, 5.0), (2.0, 2.5))
i_2 = Segment((4.0, 4.5), (4.0, 4.0))
j_2 = Segment((4.0, 2.0), (4.0, 3.0))
F = Point(g_1)
oder1: b ∧ c
und2: a ∨ oder1
und3: o ∨ u
und4: o ∨ v
oder5: und3 ∧ und4
Text6: und2 + ""
Text7: oder5 + ""
k_2 = Segment((0.25, 10.25), (7.5, 10.25))
l_2 = Segment((0.25, 6.75), (7.5, 6.75))
m_2 = Segment((0.25, 5.75), (7.5, 5.75))
n_2 = Segment((0.25, 0.75), (7.5, 0.75))
p_2 = Segment((0.25, 0.75), (0.25, 5.75))
q_2 = Segment((7.5, 0.75), (7.5, 5.75))
r_2 = Segment((0.25, 6.75), (0.25, 10.25))
s_2 = Segment((7.5, 6.75), (7.5, 10.25))

Tool: Inverter
Input: A, gatx, gaty
Output: e, a, b, c, d, f, g, h, m, n

Vieleck1, a, b, c, d = Polygon(A, A + gatx, A + gatx + gaty, A + gaty)
e = Circle(A + (1.1, -1.0), 0.1)
f = Segment(A + (-(0.5), -(0.5)), A + (0.0, -(0.5)))
g = Segment(A + (-(0.5), -(1.5)), A + (0.0, -(1.5)))
h = Segment(A + (1.2, -1.0), A + (1.5, -1.0))
m = Segment(A + (-(0.5), -(0.5)), A + (-(0.5), -(1.5)))
n = Segment(A + (-1.0, -1.0), A + (-(0.5), -1.0))

Tool: NAND
Input: A, gatx, gaty
Output: e, a, c, b, d, f, g, h, i, j, k, l, Vieleck1

Vieleck1_1, a_1, b_1, c_1, d_1 = Polygon(A, A + gatx, A + gatx + gaty, A + gaty)
Vieleck1, a, b, c, d = Polygon(A, A + gatx, A + gatx + gaty, A + gaty)
e = Circle(A + (1.1, -1.0), 0.1)
f = Segment(A + (-(0.5), -(0.5)), A + (0.0, -(0.5)))
g = Segment(A + (-(0.5), -(1.5)), A + (0.0, -(1.5)))
h = Segment(A + (1.2, -1.0), A + (1.5, -1.0))
i = Segment(A - (0.5, 0.5), A - (0.5, -(0.5)))
j = Segment(A + (-(0.5), 0.5), A + (-1.0, 0.5))
k = Segment(A + (-(0.5), -(1.5)), A + (-(0.5), -(2.5)))
l = Segment(A + (-(0.5), -(2.5)), A + (-1.0, -(2.5)))

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

Vieleck1, a, b, c, d = Polygon(A, A + gatx, A + gatx + gaty, A + gaty)
e = Circle(A + (1.1, -1.0), 0.1)
f = Segment(A + (-(0.5), -(0.5)), A + (0.0, -(0.5)))
g = Segment(A + (-(0.5), -(1.5)), A + (0.0, -(1.5)))
h = Segment(A + (1.2, -1.0), A + (1.5, -1.0))

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)