Let $P$ and $Q$ be two propositional variables. How many distinct, non-equivalent formulas can be constructed using only $P$, $Q$, and the biconditional operator $\iff$?