Comparaciones y Cálculo de Semánticas Bien fundamentadas para Programas de Lógica Disyuntiva