Report - Sistemasmonte/MaterialDocente... · Conversión a CNF (II) ! Skolemizar: para cada variable existencialmente cuantificada x (∃x), eliminar el cuantificador existencial y sustituir

Please pass captcha verification before submit form