Voltar
Compartilhar
Thalles Leite
06/04/2018
Abordagem do teorema envolvido na redução do número de conectivos e demonstração de tal. Definição da forma normal e apresentação das duas espécias de FN.
Compartilhar