Demonstrar as propriedades comutativa e associativa da bicon...

Demonstrar as propriedades comutativa e associativa da bicondicional, isto c: (a) p <—>• q <=$■ q •—■ p (b) ( p ^ - » q ) ^ + r < - * » p * - > ( q ^ f )