Faça a simplificação do polinômio:

A alternativa correta é a;

d.

(p ˅ q) ˄ ~p → q

Utilizando a Lei da distributividade:

(~p ˄ p) ˅ (~p ˄ q) → q

Que é equivalente a:

F ˅ (~p ˄ q) → q

Simplificando:

~p ˄ q → q

A condicional anterior obtida ~p ˄ q → q é uma tautologia conhecida – a regra da simplificação –, então, demonstra-se a implicação lógica inicial: (p ˅ q) ˄ ~p →q

Método dedutivo é um procedimento de certos elementos de análise para a informação que podem ser utilizados para o raciocíno de natureza lógica e para sua dedução em relação para a conclusão de um tipo de determinado assunto.

A condicional com o qual se pode optar o p ^ q por uma regra de simplificação que pode ser demonstado como implicação de lógica.

Em uma relação que envolve a implicação de certo elementos ocorre a demonstração de origem condicional. Ela é  condicional p ^ q - q  V.

Na alternativa temos a simplificação ~p ˄ q → q.

p ˄ q → q - a aplicação de equivalencia por meio da reescrita de modo condicional.

Espero ter ajudado.