Exercise 3 - Idempotent

show that 'A \/ A ≡ A'

by first showing

A \/ A -> A

an then conversely showing:

A -> A \/ A

In addition, show that that 'A /\ A ≡ A'

by first showing

A /\ A -> A

an then conversely showing:

A -> A /\ A

In all cases, you can use intuitionistic logic only