A temível...

Bom, ontem foi a prova!

Chego na sala, logo no início do intervalo do pessoal do noturno, entro na sala do pessoal da Engenharia (Grrr!!), acaba o intervalo... ta.. agora ele chega.... 10 minutos depois... ta, agora ele chega.... 10 minutos depois... ta é agora!!! 10 minutos depois... ele chega, com 30 minutos de atraso -.-

Já era 21h15, tínhamos até 22h15 para entregar.

Ah, também descobri que o pessoal da Engenharia da Comp. é bem mais maldoso (O pessoal da Ciência é genial, angelicais, formidáveis!) ... enquanto esperava o... o... -.-... só ouvi os papos...
-Não, vamo pedir pro Bráulio(Cara que da aula de lógica) dar nota, senão nós tossimos na cara dele! Hhusahusahusa
- Ou melhor... professor, vem cá um pouquinho...

Ta, começou a prova!
Ah, ainda não, porque ele tem que entregar pra sala inteira, ficar de cabeça pra baixo, dai ele lê todo o cabeçalho, só daí que você pode desvirar -.-

Ae, agora começou!
Três questões!!! TRÊS MALDITAS QUESTÕES.
Uma valendo 5,0 pontos, e as outras duas valendo 2,5 cada...

1) Demonstre a Forma Normal Conjuntiva.
a. (p <-> q) <-> (r <-> s)

Pra vocês terem uma ideia do tamanho disso...
( ~ p v ~ q v ~ r v s ) ^ ( ~ p v ~ q v ~ s v r ) ^ ( ~ p v r v s v q ) ^ ( ~ p v r v ~ r v q ) ^ ( ~ p v ~ s v s v q ) ^ ( ~ p v ~ s v ~ r v q ) ^ ( q v ~ r v s v p ).... e por ai vai... são no tatel 16 parênteses com essas 4 variáveis no meio... cansei de digitar...

Ah, sem contar que se você errar algum cálculo lógico no meio, e esquecer de um "~" na resposta, perdeu a questão inteira....


Calma, questão 2!
2) Prove.
Dai tinha um expressão do tamanho da largura da folha, que você tinha que aplicar as regras de inferência... (14 regrinhas fdps, que não pode usar formulário, você tem que saber todas decor... e não existe "macetinho" hahahaha)

Ta, essa era fácil...

3) Esquematize uma árvore lógica, sem utilizar manipulação sintática, da seguinte expressão.
Dai tinha um expressão, que não coube na folha rascunho da puc... eu tive que deitar e usar na horizontal... mas também, deixei 1 Cm de espaço entre cada símbolo... pra não errar nos parêntestes....

Bom, com tempo em desvantagem, sem parciais, questões do estilo "All-in", eu resolvi a prova em 50 minutos... e... tomara que meu Karma esteja baixo.... qualquer ajuda do universo é bem-vinda...

Pronto, desabafei...husauhsahusahusahua

Nikolas Moya

Ps. Nossa, ta faltando um monte de palavras no post... hsuauhsahusahuss

PSS. Nossa, eu percebi e nem fui arrumar... hsahusahsuashausa