Elección excluyente:

B

C

D

Condición de visibilidad de a:
b ≟ false ∧ c ≟ false ∧ d ≟ false

Condición de visibilidad de b:
a ≟ false ∧ c ≟ false ∧ d ≟ false

Condición de visibilidad de c:
a ≟ false ∧ b ≟ false ∧ d ≟ false

Condición de visibilidad de d:
a ≟ false ∧ b ≟ false ∧ c ≟ false

a = false
b = false
c = false
d = false
A = (-1, 0)
B = (-3, 1)
e = Circle(A, B)
C = (5, 0)
D = (3, 1)
f = Circle(C, D)
E = (-1, -5)
F = (-3, -4)
g = Circle(E, F)
G = (5, -5)
H = (3, -4)
h = Circle(G, H)