T_4

30 Setembro 2022, 09:30 • Mário Jorge Edmundo

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