A

B

A

B

1

≥1

&

≥1

Linke Seite:

Rechte Seite:

gatx = (1, 0)
gaty = (0, -2)
A = (6, 6)
C = (2, 6)
h, i, j, k, l, p, m = NICHT(gatx, gaty, C)
D = (6, 7)
E = (6, 2.5)
a_2, b_2, c_2, d_2, e, f, g = UND1(gatx, gaty, E)
n, q, r, s, t, a_1, b_1 = UND1(gatx, gaty, D)
B = (4, 5)
c_1, d_1, e_1, f_1, g_1, h_1, i_1 = UND1(gatx, gaty, B)
a = false
b = false
c = false
d = false
j_1 = Segment((1.0, 6.5), (5.5, 6.5))
k_1 = Segment((1.5, 6.5), (1.5, 5.0))
l_1 = Segment((1.0, 3.5), (3.5, 3.5))
m_1 = Segment((1.0, 2.0), (5.5, 2.0))
n_1 = Segment((1.0, 1.0), (5.5, 1.0))
p_1 = Segment((3.5, 5.0), (3.5, 4.5))
q_1 = Segment((5.5, 4.0), (5.5, 5.5))
nicht1: ¬a
oder2: nicht1 ∧ b
und3: a ∨ oder2
Text5: und3 + ""
und4: c ∨ d
Text6: und4 + ""
r_1 = Segment((0.12, 2.65), (8.5, 2.65))
s_1 = Segment((0.12, 0.35), (8.5, 0.35))
t_1 = Segment((0.12, 2.85), (8.5, 2.85))
e_2 = Segment((0.12, 7.15), (8.5, 7.15))
f_2 = Segment((0.12, 7.15), (0.12, 2.85))
g_2 = Segment((8.5, 7.15), (8.5, 2.85))
h_2 = Segment((0.12, 2.65), (0.12, 0.35))
i_2 = Segment((8.5, 2.65), (8.5, 0.35))

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)

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)

Tool: Inverter (command Inverter1)
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))