-
Notifications
You must be signed in to change notification settings - Fork 6
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
funçao para converter sentença em CNF #31
Comments
no 21eb13f aceitei sugestões para |
Tratei outros casos considerando que poderia ter uma implicação dentro da sentença, por exemplo (or A (implies B C)). |
Vide 6773696 a idéia. |
Entendi |
Além disso, veja que sua versão introduziria um bug se chamada antes da preproc que trata de transformar |
Fiz dessa forma pois se o 'or tivesse mais de uma argumento iria complicar para fazer as trocas dos 'and e 'or |
Pessoal,
Vamos fechar este issue? |
função que converte qq formula em FOL para CNF. Potencialmente usada depois por #26 para transformar a KB em listas de listas.
The text was updated successfully, but these errors were encountered: