Match each formula on the left with an equivalent formula on the right.