exercícios_02

Prévia do material em texto

Universidade Federal de Alagoas - Campus Arapiraca
Ciência da Computação
Lógica Aplicada à Computação
Elthon Oliveira (www.arapiraca.ufal.br/professor/elthonoliveira)
1) Simplifique as fbf's abaixo sempre que possível. Use a tabela verdade para verificar se a 
simplificação foi feita corretamente.
a) ~Cv~D^~C
b) ~A^C<->D
c) Dv~A->D<->~A->~D<->A
d) D^~A<->D
e) Dv~D
f) C^~A^DvCv~B
g) ~C->CvBv~Av~D->A
h) ~C^B^~BvA<->C^~A
i) D->~A->~D->~C
j) ~D<->~CvDv~D
k) Av~BvBvB->~B
l) Dv~C->C^A->~D^~C
m) A->~A
n) Av~Bv~A<->~B<->~BvB<->B
o) ~C->~B->~Cv~B^~D
p) ~C^C->AvD
q) ~Cv~Av~C
r) ~D<->B^D^~A->D^~D^~A
s) ~C^~C->~A<->Av~B
t) ~B<->~DvDvCvD<->D
2) Construa a tabela verdade das seguintes fórmulas (e as classifique):
a) (P->(P^~Q))<->((Q->P)vQ)
b) ((P->((QvP)^~P))^(~P<->Q)^P)
c) PvR->P^P
d) P^(Pv(P->(P<->(~P))))
e) ~A->B^B^A<->~B^AvB
3) Transforme as fórmulas das questões 1 e 2 em fórmulas descritas em função dos operadores ~ 
(negação) e v (disjunção).