A

B

≥1

A \quad B \quad A∨B

0 \quad 0 \quad \quad 0

0 \quad 1 \quad \quad 1

1 \quad 0 \quad \quad 1

1 \quad 1 \quad \quad 1

a = false
b = false
A = (2, 6)
B = (2, 4)
C = (3, 4)
D = (3, 6)
Vieleck1, a_1, b_1, c, d = Polygon(A, B, C, D)
e = Segment((1.5, 5.5), (2.0, 5.5))
f = Segment((1.5, 4.5), (2.0, 4.5))
g = Segment((3.0, 5.0), (3.5, 5.0))
f1: (¬a) ∧ (¬b)
f2: (¬a) ∧ b
f3: a ∧ (¬b)
f4: a ∧ b
Text1: " " + (a ∨ b)
erg: a ∨ b