Para bajarla

A-B

B-A

A∧B

-A∧-B

lista2

lista4

listas3

listas1

Suceso

∅

A

B

A∩B

A∪B

\bar { A } 

\bar { B }

A-B

B-A

A∪\bar { B }

B∪\bar { A }

\bar { A } ∩\bar { B } 

\bar { A } ∪\bar { B }

\left( A-B  \right)  ∪\left( B-A  \right) 

\left( A∩B  \right)  ∪\left(\bar { A }  ∩ \bar{B}  \right) 

S

2

3

4

5

6

7

8

9

10

11

12

A = (-3, -4)
B = (9, -4)
C = (9, 6)
D = (-3, 6)
polígono1, a, b, c, d = Polygon(A, B, C, D)
r = 3.05 (slider from 1 to 5, step 0.1)
E = (1, 1)
e = Circle(E, r)
f = Ray(E, E + (1, 0))
F = Point(f)
g = Circle(F, r)
G, H = Intersect(e, g)
kk = CircleArc(E, H, G)
p = CircleArc(F, G, H)
l = Line(E, d)
m = Line(F, d)
I = Intersect(e, l, 1)
J = Intersect(e, l, 2)
K = Intersect(g, m, 2)
L_1 = Intersect(g, m, 1)
h = CircleArc(E, G, I)
q = CircleArc(E, I, J)
s = CircleArc(E, J, H)
t = CircleArc(F, L_1, G)
c_1 = CircleArc(F, H, K)
d_1 = CircleArc(F, K, L_1)
A3: 0
B3: 0
C3: 0
D3: 0
A4: 1
B4: 0
C4: 1
D4: 0
A5: 0
B5: 1
C5: 1
D5: 0
A6: 0
B6: 0
C6: 1
D6: 0
A7: 1
B7: 1
C7: 1
D7: 0
A8: 0
B8: 1
C8: 0
D8: 1
A9: 1
B9: 0
C9: 0
D9: 1
A10: 1
B10: 0
C10: 0
D10: 0
A11: 0
B11: 1
C11: 0
D11: 0
A12: 1
B12: 0
C12: 1
D12: 1
A13: 0
B13: 1
C13: 1
D13: 1
A14: 0
B14: 0
C14: 0
D14: 1
A15: 1
B15: 1
C15: 0
D15: 1
A16: 1
B16: 1
C16: 0
D16: 0
A17: 0
B17: 0
C17: 1
D17: 1
A18: 1
B18: 1
C18: 1
D18: 1
n = 16 (slider from 1 to 16, step 1)
L = (-3.52, 6.16)
inc: 0.1
tabla = Sequence(Segment[L + (0, (-k)), L + (3, (-k))], k, 0, (17 * 0.6), 0.6)
i = Segment(L, L - (0, (17 * 0.6)))
j = Segment(L + (3, 0), L - (-3, (17 * 0.6)))
polígono2, k, f_1, g_1, h_1 = Polygon(L - (0, (n * 0.6)), L - (-3, (n * 0.6)), L - (-3, ((n + 1) * 0.6)), L - (0, ((n + 1) * 0.6)))
ff = LineBisector(A, B)
rA(x, y) = (x - x(E))^(2) + (y - y(E))^(2)  <  (r * r)
rB(x, y) = (x - x(F))^(2) + (y - y(F))^(2)  <  (r * r)
rE(x, y) = (x > x(A)) ∧ (x  <  x(B)) ∧ (y > y(A)) ∧ (y  <  y(C))
r4(x, y) = rA(x, y) ∧ rB(x, y)
r5(x, y) = rA(x, y) ∨ rB(x, y)
r6(x, y) = (¬(rA(x, y))) ∧ rE(x, y)
r7(x, y) = (¬(rB(x, y))) ∧ rE(x, y)
r8(x, y) = (¬(rB(x, y))) ∧ rA(x, y)
r9(x, y) = (¬(rA(x, y))) ∧ rB(x, y)
r10(x, y) = rA(x, y) ∨ (¬(rB(x, y))) ∧ rE(x, y)
r11(x, y) = ((¬(rA(x, y))) ∨ rB(x, y)) ∧ rE(x, y)
r12(x, y) = (¬(rA(x, y))) ∧ (¬(rB(x, y))) ∧ rE(x, y)
r13(x, y) = ((¬(rA(x, y))) ∨ (¬(rB(x, y)))) ∧ rE(x, y)
r14(x, y) = rE(x, y) ∧ (rA(x, y) ∧ (¬(rB(x, y))) ∨ rB(x, y) ∧ (¬(rA(x, y))))
r15(x, y) = rE(x, y) ∧ (rA(x, y) ∧ rB(x, y) ∨ (¬(rB(x, y))) ∧ (¬(rA(x, y))))