Usuario:Andrespbz/e5
Apariencia
Convertir a su forma clausular: ~(G & (R => F))
SOLUCIÓN Paso 1: Eliminar implicaciones. ~(G & (~R v F))
Paso 2: Pasar negaciones hacia adelante. (~G v ~(~R v F)) = (~G v (~~R& ~F)) (~G v (R & ~F))
Paso Pasar disyunciones hacia adelante (~G v R) & (~G v ~F)
Paso 4<span B) Eliminar &'s Cláusula 1: La cláusula ~G v R Cláusula 2:La Cláusula ~G v ~F