Distance from 2 points.

A

B

A or B

A and B

A and notB = A-B

Band_A = B-A

Aand_BorBand_A   =   (A-B)or(B-A)   =   (AorB)and_(AandB)

U(nivers)  =  Aor_A

V(oid)  =  Aand_A

 

  Interpret
A and notB = A-B
= complementare in A di B
A and notB or B and notA

=(A or B) and not(A and B)

 differenza simmetrica di A e B

complementare in AorB di AandB

 

Altra notazione:

es: B and notA  =  Band_A = B and _A
es: A and notB or B and notA   =  Aand_BorBand_A  = Aand_B or Band_A