GitHub repository: saulosjoseph/projetoLogica
Primary language: Java
Created: 2018-05-09T19:40:57Z
Description: O projeto é um resolvedor de instâncias do problema SAT. Seu programa receberá expressões bem-formadas da lógica proposicional e deverá retornar a solução do problema. Seu programa deve solucionar as instâncias a partir de 2 métodos vistos em sala de aula: Método da Tabela-Verdade e Método da Resolução.