-
Implementar um verificador de fórmula proposicional, ou seja, dada uma string como entrada, seu programa deve indicar na saída se ela é umafórmula proposicional ou não.
-
Um programa que liste todas as subfórmulas de uma dada fórmula como entrada (você pode usar o item anterior para verificar previamente se a entrada é uma fórmula válida);
-
Um programa que informe a complexidade de uma fórmula dada como entrada (você também pode verificar a validade da entrada);
-
(EXTRA) Um programa que desenhe uma árvore sintática de uma fórmula dada como entrada.
-
Implementar uma tabela verdade para a preposição inserida.
-
Implementar a consequência lógica na tabela verdade.
-
Verificar se a preposição é tautologia, contraditoria e etc.
-
Implementar o HornSat
-
Implementar o 2SAT