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

[Wendel Scardua <articuno@xxxxxxxxxxxxxxxx>]

Cláudio (Prática) wrote:
> Caro Domingos Jr.:
> 
> Interessante a sua prova por indução. Pra mim, o seguinte argumento já seria
> convincente:

Na verdade, o problema é mais sutil, pois vc está supondo que qualquer
função booleana é representável por meio de conectivos, o que não é
obrigatoriamente verdade. Daí a necessidade de 'complicar' a
demonstração.


 té++

 Wendel
--------------------------------------------

=========================================================================
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>
=========================================================================