Question

Demonstre, utilizando tabela da verdade, que as fórmulas a seguir são tautologias:
a- (H <-> G) <-> ((H -> G) ^ (G -> H))
b- (H <-> G) <-> ((¬H v G) ^ (H v ¬G))

Answer 1

Resposta:

a-(H<->) B-((H->G)

Explicação:

.

...

.

.

.

n

n

n

n

.

.

.

.

.

..

..