Question

7. Simplifique a expressão ~p=> [pv~(pv~q)]​

Answer 1

Resposta:

~q

Explicação passo-a-passo:

~p=> [pv~(pv~q)]​

~p=> [(pv~p)v(pv~q)

~p=>Fv(pv~q)

~p=>(pv~q), aplicando a propriedade da implicação temos:

(~~p)v(pv~q)

pv(pv~q), aplique a propridade comutativa :

(pvp)v~q

Vv ~q

=~q