show that the following propositions are logically equivalent using logical transformations not using truth tables p q q p