The logical operator "↔" is read "if and only if".P↔Q is defined as being equivalent to (P→Q)^(Q→P).Based on this definition,show that P↔Q is logically equivalent to (P?Q) →(P^Q):
a)By using truth tables.
b)By a series of substitutions using the identities.