Para cada uma das proposições compostas abaixo, encontre uma proposição equivalente que não envolva condicionais:
.
Passo 1
O enunciado pede para transformar
em uma proposição equivalente que não contenha condicionais. Vamos usar a equivalência
para eliminar todos os “→”.
Passo 2
Primeiro, aplico a equivalência a cada condicional interna:
e
Passo 3
Agora substituo na fórmula original:
Passo 4
Simplifico usando De Morgan em
e em seguida aplico absorção:
então
Passo 5
Reconhecemos que
é equivalente a