ODER

A

B

UND

&

≥1

UND

ODER

≥1

&

u = true
a = false
b = false
B = (4, 6)
gatx = (1, 0)
gaty = (0, -2)
c, d, e, f, g, h, i = UND(gatx, gaty, B)
C = (2, 5)
j, k, l, m, n, p, q = UND(gatx, gaty, C)
r = Segment((3.5, 4.0), (3.5, 4.5))
s = Segment((1.0, 5.5), (3.5, 5.5))
t = Segment((1.0, 3.5), (1.5, 3.5))
a_1 = Segment((1.5, 5.5), (1.5, 4.5))
o = false
v = true
w = false
und1: a ∧ b ∧ o
oder1: (a ∨ b) ∧ u
A = (2, 5)
b_1, c_1, d_1, e_1, f_1, g_1, h_1 = UND(gatx, gaty, A)
D = (4, 6)
i_1, j_1, k_1, l_1, m_1, n_1, p_1 = UND(gatx, gaty, D)
E = (2, 5)
q_1, r_1, s_1, t_1, a_2, b_2, c_2 = UND1(gatx, gaty, E)
erg1: und1 ∧ o ∨ oder1 ∧ u
oder2: erg1 ∨ a
und2: erg1 ∧ a
d_2 = Segment((3.5, 5.5), (4.0, 5.5))
e_2 = Segment((3.5, 4.5), (4.0, 4.5))
f_2 = Segment((4.0, 6.0), (4.0, 6.0) + gatx)
g_2 = Segment((4.0, 6.0), (4.0, 6.0) + gaty)
h_2 = Segment((4.0, 6.0) + gatx, (4.0, 6.0) + gatx + gaty)
i_2 = Segment((4.0, 6.0) + gaty, (4.0, 6.0) + gatx + gaty)
Text5: "" + und2
Text6: "" + oder2

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)

Tool: UND (command UND1)
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)