T5

1 Outubro 2019, 10:30 • Mário Jorge Edmundo

Regras de substituição: associatividade e omissão de parênteses, distributividade, absorção, negação dupla, leis de De Morgan; Exemplo de aplicação das regras de substituição; tt-equivalência, exemplo; tt-equivalência e equivalência lógica, exemplo; forma normal negativa, forma normal conjuntiva e forma normal disjuntiva; métodos para: obter a fnn; passar da fnn para a fnc; passar da fnn para fnd; exemplo de sentenças simultaneamente na fnc e na fnd.