Para cada uma das proposições compostas abaixo, encontre uma proposição equivalente que não envolva condicionais:
Passo 1
O enunciado pede para eliminar todas as implicações da fórmula composta
O conteúdo de matéria é lógica proposicional, usando a equivalência
e depois simplificar com leis de De Morgan e de absorção.
Passo 2
Aplicando a equivalência de implicação em cada parte temos
e
Logo a fórmula vira
Passo 3
Usando De Morgan em
, obtém-se
Substituindo na expressão geral:
Passo 4
Para simplificar
usamos a lei de absorção:
então