A

B

&

&

&

A \quad B \quad ¬A \quad ¬B \quad A∨B

0 \quad 0 \quad \quad 1 \quad \quad 1 \quad \quad 0

0 \quad 1 \quad \quad 1 \quad \quad 0 \quad \quad 1

1 \quad 0 \quad \quad 0 \quad \quad 1 \quad \quad 1

1 \quad 1 \quad \quad 0 \quad \quad 0 \quad \quad 1

A = (2, 6)
gatx = (1, 0)
gaty = (0, -2)
Vieleck1, a_2, b_2, 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 + (1.0, -1.0), A + (1.5, -1.0))
B = (5, 4.5)
k, j, l, m, n, p, q, r, Vieleck2 = Gatter(B, gatx, gaty)
C = (2, 3)
s, t, a_1, b_1, c_1, d_1, e_1, f_1, Vieleck3 = Gatter(C, gatx, gaty)
g_1 = Segment((3.5, 5.0), (3.5, 4.0))
h_1 = Segment((3.5, 4.0), (4.5, 4.0))
i_1 = Segment((3.5, 2.0), (3.5, 3.0))
j_1 = Segment((3.5, 3.0), (4.5, 3.0))
a = false
b = false
k_1 = Segment((1.5, 1.5), (1.5, 2.5))
l_1 = Segment((1.0, 2.0), (1.5, 2.0))
m_1 = Segment((1.5, 4.5), (1.5, 5.5))
n_1 = Segment((1.0, 5.0), (1.5, 5.0))
Text1: " " + (a ∨ b)
erg: a ∨ b
nand1: ¬a
nand2: ¬b
fr1: (¬a) ∧ (¬b)
fr2: (¬a) ∧ b
fr3: a ∧ (¬b)
fr4: a ∧ b

Tool: Gatter
Input: A, gatx, gaty
Output: e, a, b, c, d, f, h, g, 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))

Tool: Gatter0
Input: A, gatx, gaty
Output: a, b, c, d, f, g, i, 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)
f = Segment(A + (-(0.5), -(0.5)), A + (0.0, -(0.5)))
g = Segment(A + (-(0.5), -(1.5)), A + (0.0, -(1.5)))
i = Segment(A + (1.0, -1.0), A + (1.5, -1.0))