ARBOLES DE FORZAMIENTO SEMANTICO PARA EL ´ SISTEMA BASICO CON AFIRMACION Y NEGACION ALTERNAS