Question

Prove usando tabela de verdade que p v ~ ( p ^ q )= V​

Answer 1

Pela tabela de verdade, podemos provar que p v ~ ( p ^ q ) = V​.

O símbolo v representa a operação OU, o símbolo ^ representa a operação E e o símbolo ~ representa a negação.

• Na operação E, temos V se ambos forem V e F para o restante;
• Na opreção OU, temos V se pelo menos um for V e F se ambos forem F;
• Na operação NÃO, temos V se ele for F e F se ele for V;

Logo, podemos montar a tabela da seguinte forma:

p   q   p ^ q  ~(p ^ q)   p v ~(p ^ q)

V   V     V          F             V

V   F     F           V             V

F   V     F           V             V

F   F      F          V             V

Portanto, podemos concluir que essa expressão é sempre verdadeira.