Estruturas Discretas da Computao

Frequncia de Avaliao n 1 10 de Novembro 20h30m

Leia atentamente todas as perguntas antes de comear a responder. Justifique convenientemente
todas as respostas, caso contrrio poder ser penalizado. Durao 1h30m
1.a 1.b 1.c 2 3.a 3.b 4 5.a 5.b
1.5 3 2.5 2.5 1.5 1.5 2 3 2.5
1. Considere o seguinte conjunto C = {u,1], considere agora o seu conjunto potnciaP(C).
Define-se a seguinte relao no conjunto potncia de C (R, P)dada por: vI, [ e P(C): (I, [) e R =
I L [.
a) Indique quais os elementos de R. Desenhe o grafo correspondente a R.
b) Diga justificando se a relao : Reflexiva, Simtrica, Transitiva.
c) Determine os fechos Reflexivo, Simtrico, Transitivo.
2. Transforme o seguinte predicado na Forma Normal Conjuntiva Prenex:+x(P(x) -
vx(x)).
3. Considere o conjunto dos inteiros L. Seja (x, y)a afirmaox y = x y com x, y e L, diga
justificando se so verdadeiras ou falsas os seguintes predicados:
a) vy(1, y)
b) +xvy(x, y)
4. Considere a seguinte tabela de verdade para a funo g:
a b c g
V V V F
V V F V
V F V F
V F F F
F V V V
F V F F
F F V V
F F F F
Determine a Forma Normal Disjuntiva para a funo g.
5. Determine justificando se as seguintes proposies so ou no tautologias:
a) |(o - b) A (b - c)] - (o - c)no deve usar tabelas de verdade.
b) |o b] - |-(o - b)]Usando qualquer mtodo.