Necesito ayuda para un proyecto prolog

oaramirez
13 de Febrero del 2006
el problema es el siguiente:

Dada una formula bien formada llevarlo a la forma normal disyuntiva