caso #1: satisfativel
caso #2: nem todas as clausulas sao de horn
caso #3: insatisfativel
caso #4: nao esta na FNC
caso #5: nem todas as clausulas sao de horn
caso #6: nao esta na FNC