Ser ou nao ser .. eis a questao ...

Ora .. eu .. depois de algumas aulas a aturar o "Estebes" cheguei a uma conclusão ..

Segundo a Álgebra de Boole Esta questão e de fácil resolução .. basta aplicar um dos teoremas mais simples .. reparem:
consideremos ser a proposição s ora:
e sendo s' a negação de s:
temos então que s + s'
e segundo o tal teorema temos k
s+s' = 1 .. sendo então verdade

logo ser ou não ser -> ser xD