Exercício 62:
Numa álgebra de Boole temos que
(i) neg neg x=x.
(ii) neg(x wed>= y)=neg x vee neg y.
(iii) x <= y sse x wed>= neg y=perp sse neg y <= neg x sse neg x vee y=T.

Passo 1

Não é possível iniciar a resolução porque o enunciado apresenta apenas propriedades de uma álgebra de Boole (i), (ii) e (iii), mas não especifica qual proposição deve ser demonstrada ou qual cálculo deve ser efetuado.

Resposta

Não foi possível resolver o exercício devido à ausência de informação sobre a tarefa a ser realizada.

Exercícios relacionados