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.