(A∪B)'=A'∩B'

A

B

×

×

O: (0.5 * (Corner[1] + Corner[3])) + (0, 1)
a = true
b = true
A_3: O + (0.4, 0.8)
A_2: O + ((-0.4), 0.8)
A_1: O + ((-6), 0.8)
A_4: O + (6, 0.8)
A_f: O + ((-3), (-3.4))
A_d: (x(A_f), y(O) - 2.4)
A_e: (x(A_f), y(O) - 4.4)
A_g: O + ((-6), (-3.4))
A_6: O + (3.2, (-3.4))
A_5: O + (6, (-3.4))
A_7: A_6 + (0, 1)
A_8: A_6 - (0, 1)
A_b: A_d + (0.7, 0)
A_c: A_e + (0.7, 0)
A_9: A_7 - (0.8, 0)
A_a: A_8 - (0.8, 0)
a_1 = Segment(A_1, A_2)
a_2 = Segment(A_4, A_3)
a_3 = Segment(A_4, A_5)
a_4 = Segment(A_6, A_5)
a_5 = Segment(A_8, A_7)
a_6 = Segment(A_9, A_7)
a_7 = Segment(A_a, A_8)
a_8 = Segment(A_1, A_g)
a_9 = Segment(A_f, A_g)
a_a = Segment(A_e, A_d)
a_b = Segment(A_b, A_d)
a_c = Segment(A_e, A_c)