Representing “if and only if” concisely

Question

Suppose you happen to know that $P is true if and only if $Q is true. You can write a pair of integrity constraints to enforce this: