Report - Tema 11: Forma Normal de Skolem - · PDF fileo Forma normal disyuntiva. FND • Uniformización de la posición de los cuantificadores en las fórmulas (Formas Normales en la LPO)

Please pass captcha verification before submit form