Trabalho de algoritmo

4ª Lista de Exercícios – Tabelas-Verdade (Gabarito)

1) Construir as tabelas-verdade das seguintes proposições:

a. ~(p v ~q) b. ~(p ( ~q) c. p ^ q ( p v q d. ~p ( (q ( p) e. (p ( q) ( p ^ q

2) Construir as tabelas-verdade das seguintes proposições:

a. ~p ^ r ( q v ~r b. p ( r ( q v ~r c. p ( (p ( ~r) ( q v r d. (p ^ q ( r) v (~p ( q v ~r)

3) Determinar P (VV, VF, FV, FF) em cada um dos seguintes casos:

a. P(p, q) = ~(~p ( q) b. P(p, q) = ~p v q ( p c. P(p, q) = (p v q) ^ ~(p ^ q) d. P(p, q) = (p v ~q) v (~p v q) e. P(p, q) = ~((p v q) ^ (~p v ~q)

4) Determinar P (VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF) em cada um dos seguintes casos:

a. P(p, q, r) = p v (q ^ r) b. P(p, q, r) = (p ^ ~q) v r c. P(p, q, r) = ~p v (q ^ ~r) d. P(p, q, r) = (p v q) ^ (p v r) e. P(p, q, r) = (p v ~r) ^ (q v ~r)

5) Determinar P(VFV) em cada um dos seguintes casos:

a. P(p, q, r) = p ^ ~r ( ~q b. P(p, q, r) = ~p ^ (q v ~r) c. P(p, q, r) = ~(p ^ q) ( ~(p v ~r) d. P(p, q, r) = (r ^ (p v ~q)) ^ ~(~r v (p ^ q)) e. P(p, q, r) = (p ^ q ( r) ( q v ~r

6) Sabendo que os valores lógicos das proposições p e q são respectivamente F e V, determinar o valor lógico da proposição:

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

-----------------------