T_4

16 Outubro 2020, 09:30 • Mário Jorge Edmundo

Equivalência lógica, propriedades, regras de substituição de equivalentes, exemplo; formas normais: forma normal negativa, forma normal disjuntiva e forma norma conjuntiva, exemplos; tt-equivalência, exemplo, tt-equivalência  e equivalência lógica.