[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[obm-l] Re: [obm-l] Re: [obm-l] Funções booleanas



> Interessante a sua prova por indução. Pra mim, o seguinte argumento já
seria
> convincente:

exatamente como o Wendel disse, a prova em si não é o fato de que ao "criar"
um conectivo ele pode ser expresso como uma combinação desses 3, mas sim
provar que toda função pode ser expressa com eles (como o NOU descrito por
você substitui esses 3 dá pra usar somente um conectivo, mas as fórmulas
iriam ficar grandes demais...).

> Uma aplicação que me interessa é o uso destas expressões booleanas para se
> resolver problemas de lógica. Por exemplo, o das escravas de olhos azuis
do
> Homem que Calculava. Suponha que existam N escravas, cujos olhos estão
> escondidos. Sabe-se que existem escravas de olhos azuis e de olhos pretos.
> As de olhos azuis mentem sempre e as de olhos pretos sempre falam a
verdade.
> Que pergunta você faria a uma delas (escolhida ao acaso já que não se pode
> ver os olhos de nehuma), a fim de descobrir qual a cor dos olhos de cada
uma
> delas?

Pergunta: A menina do seu lado tem a mesma cor dos seus olhos?
SIM (se for verdade, foi resposta dada por uma menina de olhos pretos, se
for mentira é dada por uma de olhos azuis, logo o olho da menina é preto)
NÃO (se for verdade é dado por uma menina de olho preto, logo a menina tem
olho azul, se for mentira foi dado por uma menina de olho azul, logo a
menina ao lado tem olho azul).

concluímos que se a resposta for SIM a menina ao lado tem olho preto e se
for NÃO tem olho azul.

[ ]'s

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
O administrador desta lista é <nicolau@mat.puc-rio.br>
=========================================================================