A

B

A

B

Linke Seite:

Rechte Seite:

≥1

1

1

&

1

gatx = (1, 0)
gaty = (0, -2)
A = (4, 9)
B = (4, 6)
C = (4, 3)
i, j, k, l, m, p, n = NICHT(gatx, gaty, B)
q, r, s, t, a_1, c_1, b_1 = NICHT(gatx, gaty, C)
D = (6, 4.5)
d_1, e_1, f_1, g_1, h_1, i_1, j_1 = UND(gatx, gaty, D)
o = false
u = false
v = false
w = false
k_1 = Segment((5.5, 5.0), (5.5, 4.0))
l_1 = Segment((5.5, 3.0), (5.5, 2.0))
nand1: o ∨ u
nicht2: ¬v
nicht3: ¬w
oder4: nicht2 ∧ nicht3
Text4: oder4 + ""
m_1 = Segment((2.25, 9.25), (9.0, 9.25))
n_1 = Segment((2.25, 6.75), (9.0, 6.75))
p_1 = Segment((2.25, 6.25), (9.0, 6.25))
q_1 = Segment((2.25, 0.75), (9.0, 0.75))
r_1 = Segment((2.25, 0.75), (2.25, 6.25))
s_1 = Segment((9.0, 0.75), (9.0, 6.25))
t_1 = Segment((2.25, 6.75), (2.25, 9.25))
a_2 = Segment((9.0, 6.75), (9.0, 9.25))
a, b, c, d, e, f, g = UND(gatx, gaty, A)
E = (6, 9)
h, b_2, c_2, d_2, e_2, f_2, g_2 = NICHT(gatx, gaty, E)
nicht5: ¬nand1
Text3: nicht5 + ""

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: 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: 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: 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)