Matemática Discreta I DECOM

Prof. Lucília Figueiredo Lista de Exercícios 04 ICEB - UFOP

Nome legível:
Matrícula:

Q1. Existem 24 funções distintas f : Bool×Bool → Bool,que estão representadas na tabela a seguir.

p q f01 f02 f03 f04 f05 f06 f07 f08 f09 f10 f11 f12 f13 f14 f15 f16
T T T T T T T T T T F F F F F F F F
T F T T T T F F F F T T T T F F F F
F T T T F F T T F F T T F F T T F F
F F T F T F T F T F T F T F T F T F

(a) Na tabela abaixo, escreva na primeira coluna uma expressão booleana, envolvendo as va-
riáveis p e q, que denota a função correspondente. Na segunda coluna da tabela, escreva
uma expressão booleana que denota a função, mas que envolve apenas as constantes true
e false e os conectivos ∨ (disjunção) e ¬ (negação), além das variáveis p e q,.

f01
f02
f03
f04
f05
f06
f07
f08
f09
f10
f11
f12
f13
f14
f15
f16
(b) Você poderia concluir, a partir da tabela acima, que, para qualquer expressão booleana
e, existe uma expressão equivalente e0 , envolvendo apenas as constantes lógicas true e
false e os conectivos lógicos ∨ e ¬? (SIM ou NÃO)

1
Q2. (Smullyan) Três lógicos A, B e C, estão usando chapéus. Os três sabem que cada chapéu é preto
ou branco, e que nem todos os chapéus são brancos. O lógico A pode ver os chapéus de B e C;
B pode ver os chapéus de A e C; e C é cego. Pergunta-se a cada um, primeiro a A, depois a B,
depois a C, se ele sabe a cor do seu próprio chapéu. As respostas são: A: "Não". B: "Não". C:
"Sim". Qual é a cor do chapéu de C e como ele sabe isso?