UNIVALI – Universidade do Vale do ItajaíCTTMAR – Centro tecnológico da Terra e do MarCurso : Tecnologia em Jogos DigitaisDisciplina : Math 2 / Discrete Math – Propositional LogicProfessor : Antonio Carlos Sobieranski

Alunos: ______________________________________ 20/03/2012

Trabalho M1

----------------------------------------------------------------------------------------------------------------------------1) (1.00 ponto) Selecione a expressão que é equivalente a: x ⅴ ( y' ⅴ z' )' ⅴ (y → z)

a) xb) x ⅴ yc) x ᴧ (y ⅴ z)d) x (ⅴ y' ⅴ z)e) x ⅴ (y ⅴ z) f) 0g) 1

----------------------------------------------------------------------------------------------------------------------------2) (1.00 ponto) Selecione a expressão que é equivalente a: x ⅴ ( y ᴧ z' )' ⅴ (y' ᴧ z)'

a) x'b) x' ⅴ yc) x' ᴧ (y' ⅴ z)d) y ⅴ z' e) x ⅴ (y' ⅴ z) f) 0g) 1

----------------------------------------------------------------------------------------------------------------------------3) (1.00 ponto) Para a expressão [d ⅴ ((a ⅴ b)' ᴧ c)] ᴧ e quais as saídas se:

a b c d e

0 0 0 0 0

1 1 0 1 1

1 1 0 0 1

1 0 1 0 1

0 1 1 0 1

1 1 1 1 1

a) 0, 0, 0, 0, 0, 1b) 1, 1, 0, 0, 0, 1c) 0, 1, 0, 0, 0, 1 d) 0, 1, 0, 0, 1, 1e) 1, 1, 1, 0, 0, 0f) 0, 1, 1, 0, 1, 0g) 1, 1, 0, 1, 0, 0

----------------------------------------------------------------------------------------------------------------------------4) (5.00 pontos) Simplifique as expressões booleanas, desenvolvendo as reduções necessárias:4.1) (A ↔ B)

a) (A' ᴧ B') ⅴ (A ᴧ B) b) (A ᴧ B) ⅴ (A ᴧ B)'c) (A ᴧ B') ⅴ (A' ᴧ B)d) (A ⅴ B)e) (A' ⅴ B')f) 0g) 1

4.2) (B' → A') → B

a) (A' ᴧ B') ⅴ (A ᴧ B) b) (A ᴧ B) ⅴ (A ᴧ B)'c) (A ᴧ B') ⅴ (A' ᴧ B)'d) (A ⅴ B)e) (A' ⅴ B')f) 0g) 1

4.3) (B ⅴ A') ↔(A → B)

a) (A' ᴧ B') ⅴ (A ᴧ B)' b) (A ᴧ B) ⅴ (A ᴧ B)c) (A ᴧ B') ⅴ (A' ᴧ B)d) (A ⅴ B) e) (A' ⅴ B')f) 0g) 1

4.4) (x ᴧ y ᴧ z') ⅴ ((x → y)' ᴧ z)' ⅴ (x' ⅴ z)'

a) (x ⅴ y ⅴ z)b) (x ⅴ y)c) (x' ⅴ y)d) (x' ⅴ y' ⅴ z')e) (x' ⅴ y ⅴ z') f) 0g) 1

4.5) y ᴧ (x ᴧ y ᴧ z')' ᴧ x ᴧ y'

a) (x ᴧ y ᴧ z)b) (x ᴧ y)c) (x' ᴧ y ᴧ z') d) (x ᴧ y' ᴧ z')e) (x ᴧ y') f) 0g) 1

----------------------------------------------------------------------------------------------------------------------------5) (3.00 pontos) Qual a expressão lógica correspondente ao circuito lógico ilustrado pela figura ?5.1)

a) x ᴧ y'b) x' ⅴ z' c) x'd) y ⅴ z' e) (x' ⅴ y' ⅴ z') f) x ᴧ yg) x' ⅴ z

5.2)

a) (y' ᴧ z) ⅴ xb) (y' ᴧ z')' ⅴ (x ᴧ z) c) (y' ᴧ z) ⅴ (x ᴧ z) d) y ᴧ 1e) x' ⅴ z' f) 0g) 1

5.3)

a) x ᴧ (x' ⅴ y')b) (x' ⅴ y' ⅴ z') c) x'd) z ᴧ 1e) x ᴧ z' f) x yᴧ 'g) x' ᴧ y'