Identify the steps involved in proving p if and only if and (p and q) or (not p and not q) are logically equivalent