Use truth tables to prove the statements are either equivalent, contradictory, consistent, or inconsistent: P <-> ~Q ………(P + Q) v (~P + ~Q)

Use truth tables to prove the statements are either equivalent, contradictory, consistent, or inconsistent: P <-> ~Q ………(P + Q) v (~P + ~Q)