Construct a truth table for (p ˄ ⌐q) ↔ (p ˄ q). Explain how this truth table shows whether this statement is a tautology, and contradiction (absurdity), or a contingency.