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

$A$

A: (0.5 * (Corner[1] + Corner[3])) - (0, 1)
C: (0.5 * (A + Corner[3])) - (0, 1)
B: (0.5 * (A + Corner[4])) - (0, 1)
r = 3
B_1: B - (r, 0)
C_1: C - (r, 0)
B_2: B + (r, 0)
C_2: C + (r, 0)
A_1: A - (r, 0)
A_2: A + (r, 0)
Poly1, b_1, b_2, a, b = Polygon(B_1, B_2, B_2 + (0, r), B_1 + (0, r))
B_Q: B_1 + ((3 * r / 4), r / 2)
c1 = Circle(B_Q, (3 * r / 7))
t = 0 (slider from 0 to 1, step 0.001)
Poly_1 = Translate(Poly1, Vector[(t * Vector[B_1, A_1])])
c_1 = Translate(c1, Vector[(t * Vector[B_1, A_1])])
C_Q: C_2 + (((-3) * r / 4), r / 2)
c2 = Circle(C_Q, (3 * r / 7))
Poly2, c_3, c_4, c, d = Polygon(C_1, C_2, C_2 + (0, r), C_1 + (0, r))
Poly_2 = Translate(Poly2, Vector[(t * Vector[C_2, A_2])])
c_2 = Translate(c2, Vector[(t * Vector[C_2, A_2])])
n = 0 (slider from 0 to 5, step 1)
c_a: c1
c_b: c2
text2: "" + (LaTeX[If[n ≟ 1, "A", "A'"]]) + ""
text3: "" + (LaTeX[If[n ≟ 3, "B", "B'"]]) + ""