proposições, valores lógicos e tautologia

[Carmen]

Sem recorrer á tabela de verdade, mostra que:
~p implica ~(p⋀q) é sempre verdadeira (tautologia).

É possível ajudarem-me neste problema? Obrigado.

(não consigo colocar o sinal de implicação, tentei em editor de equações e aparece isto: \(\Rightarrow\)
)

[Carmen]

Por favor não liguem á minha observação final, pois ao enviar apareceu o sinal de implicação correto em vez do texto que aparecia antes.

[aleph]

Boa noite Carmen,
Primeiro pensa a transformar a expressão lógica: not(p and q)
Depois eu acho que será mais fácil concluir.
Espero que ajudei.
abs