Match each formula on the left side to an equivalent formula on the right side.