Para transformar em uma equivalente, de acordo com Bertolini, Cunha e Fortes (2017, p. 46) deve-se eliminar os conectivos → e ↔, e substituir p → q por ~p v q e p ↔ por (~p v q) ^ (p v ~q), eliminando as negações repetidas e parênteses antecedidos de ~ pelas regras de dupla negação e de Morgan, substituindo: p ^ (q v r) por (p ^q) v (p ^ r) e (p v q) ^ r por (p ^ r) v (q ^ r). Podemos afirmar que é para a transformação de: Questão 4Resposta a. Forma normal conjuntiva. b. Propriedade da conjunção. c. Redução do número de conectivo. d. Forma normal disjuntiva. e. Conjuntiva e disjuntiva.