Algoritmos para las operaciones Booleanas en 2D y 3D, bajo un sistema de representacion formal