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