Atividade para reposição de carga horária - Lista de Exercícios-

até 05/04 (tabela verdade)

Beatriz Auer Mariano

Página 39: exercício 1

a)
p q ~q p V ~q ~ (p V ~q)
V V F V F
V F V V F
F V F F V
F F V V F
b)

p q ~q p → ~q ~(p → ~q)
V V F F V
V F V V F
F V F V F
F F V V F
c)

p q p∧q p∨q p∧q→p∨q

V V V V V
V F F V V
F V F V V
F F F F V
d)

p q ~p q→p ~p → (q → p)
V V F V V
V F F V V
F V V F F
F F V V V
e)

p q p→q p∧q (p → q) → p ∧ q
V V V V V
V F F F V
F V V F F
F F V F F
 f)

p q ~q ~q ∧ p q ↔ ~q ∧ p
V V F F F
V F V V F
F V F F F
F F V F V
g)

p q ~q p ↔ ~q q→p (p ↔ ~q) ↔ q → p
V V F F V F
V F V V V V
F V F V F F
F F V F V F
h)

p q ~p ~q p ↔ ~q ~p ∧ q (p ↔ ~q) → ~p ∧ q
V V F F F F V
V F F V V F F
F V V F V V V
F F V V F F V

Página 40: exercício 2

a)

p q r ~p ~r ~p ∧ r q ∨ ~r ~p ∧ r → q ∨ ~r
V V V F F F V V
V V F F V F V V
V F V F F F F V
V F F F V F V V
F V V V F V V V
F V F V V F V V
F F V V F V F F
F F F V V F V V

b)

p q r ~r p→r q ∨ ~r p → r ↔ q ∨ ~r
V V V F V V V
V V F V F V F
V F V F V F F
V F F V F V F
F V V F V V V
F V F V V V V
F F V F V F F
F F F V V V V
 c)

p q r ~r p → ~r p → (p → ~r) q∨r p → (p → ~r) ↔ q ∨ r

V V V F F F V F
V V F V V V V V
V F V F F F V F
V F F V V V F F
F V V F V V V V
F V F V V V V V
F F V F V V V V
F F F V V V F F

d)

p q r ~p ~r p∧q p∧q→r q ∨ ~r ~p ↔ q ∨ ~r (p ∧ q → r) ∨ (~p ↔ q ∨ ~r)

V V V F F V V V F V
V V F F V V F V F F
V F V F F V V F F V
V F F F V V F V F F
F V V V F V V V V V
F V F V V V F V V V
F F V V F F V F F V
F F F V V F V V V V

Página 40: exercício 6

p: F q: V
Valor lógico da expressão: Verdadeiro

(p ∧ (~q → p)) ∧ ~ ((p ↔ ~q) → q ∧ ~p)

F F F V F V F F V F V V V V

Página 41: exercício 9

p: V q: V r: F s: F

a) Falso

p ∧ q → R

V V V F F
b) Verdadeiro

r ∨ s → q

F F F V V

c) Falso

q ↔ p ∧ s

V F V F F

d) Verdadeiro

p → ~ (r ∧ s)

V V V F F F

e) Verdadeiro

(q → s) → r

V F F V F

f) Verdadeiro

~r → p ∧ q

V V V V V

g) Falso

(q ∨ r) ∧ (p ∨ s)

V V F F V F F

h) Verdadeiro

(r → s) ∧ (p ∧ q)

F V F V V V V
 i) Falso

(p ∧ ~q) ∨ r

V F F F F

j) Verdadeiro

~ ((r → p) ∨ (s → q))

F F V V V F V V

k) Verdadeiro

(s ↔ r) ↔ (p ↔ q)

F V F V V V V

l) Verdadeiro

r → q ↔ (~p ↔ r)

F V V V F V F

Página 42: exercício 15

a) (q ↔ (r ∨ q)) ↔ p ∧ ~~q
b) p ∧ ~~q ↔ (q ↔ r ∨ q)
c) (p ∨ q → ~r) ∨ (~q ∧ r ∧ q)