Problema de L�gica

[sidd <sidd@xxxxxxxxxxxxxxxxxx>]

Em um pa�s com um milh�o de casais, 40 esposas s�o infi�is. Cada homem
sabe se as esposas dos outros s�o ou n�o infi�is, mas n�o sabe quanto �
pr�pria. Certo dia, o rei do pa�s publica o seguinte decreto:

(a) Sabe-se que ao menos uma mulher � infi�l;
(b) Todo homem sabe se a mulher de outro homem � fiel ou n�o
(c) Toda noite, a partir dessa noite (chamaremos de noite 1), cada homem
deve tentar deduzir (a partir de seu conhecimento acumulado acerca das
mulheres dos demais e daquilo que ele pode sup�r ou n�o que os demais
homens saibam) se sua esposa � fiel ou n�o;
(d) Cada homem que conseguir provar que sua esposa � infiel deve
assassin�-la;
(e) Toda noite cada homem deve verificar se as esposas dos outros homens
foram assassinadas;
(f) At� o presente momento nenhum homem sabe ou n�o se sua pr�pria
esposa � infiel;

A pergunta �: o que acontece nessa situa��o?